9 results on '"Bartak, Roman"'
Search Results
2. A New Approach to Modeling and Solving Minimal Perturbation Problems
3. Implementing Propagators for Tabular Constraints
4. Visopt ShopFloor: Going Beyond Traditional Scheduling
5. Visopt ShopFloor: On the Edge of Planning and Scheduling
6. Filtering Algorithms for the NValue Constraint
7. Symmetry and Search in a Network Design Problem
8. Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems
9. On the Tractability of Smooth Constraint Satisfaction Problems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.