22 results on '"Monfroy, Eric"'
Search Results
2. Optimized models and symmetry breaking for the NFA inference problem
3. Combining Constraint Languages via Abstract Interpretation
4. Optimizing SMT Solving Strategies by Learning with an Evolutionary Process
5. From Set Constraint Models to SAT Instances
6. Evolving SMT Strategies
7. Verifying a Real-Time Language with Constraints
8. Agile software engineering as creative work
9. Agile software teams must be creatives
10. Using a Choice Function for Guiding Enumeration in Constraint Solving
11. A Hyperheuristic Approach for Constraint Solving
12. A Hyperheuristic Approach to Select Enumeration Strategies in Constraint Programming
13. An Ant-Based Solver for Subset Problems
14. A Reactive Constraint Programming Formulation
15. A Two-Phase Set Partitioning Model for Passenger Transportation
16. Knowledge Management and Optimization Modeling (for Decision Making)
17. A New ACO Transition Rule for Set Partitioning and Covering Problems
18. A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems
19. Hybrid Approach to Crew Pairing Optimization
20. Using Constraint Programming to solve Sudoku Puzzles
21. A Theoretical Framework for Local Search Techniques
22. Enumeration Strategies in Constraint Programming for Solving Puzzles
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.