22 results on '"Monfroy, Eric"'
Search Results
2. Improved SAT Models for NFA Learning
3. Improved Lower Bounds for the Cyclic Bandwidth Problem
4. GA and ILS for Optimizing the Size of NFA Models
5. POSL: A Parallel-Oriented Metaheuristic-Based Solver Language
6. Improved Lower Bounds for the Cyclic Bandwidth Problem
7. A Meta-Optimization Approach for Covering Problems in Facility Location
8. Reachability in Parametric Interval Markov Chains Using Constraints
9. Towards Automated Strategies in Satisfiability Modulo Theory
10. Towards a Framework for Adaptive Constraint Propagation
11. Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers
12. Easy Modeling of Open Pit Mining Problems via Constraint Programming
13. Modeling Manufacturing Cell Design Problems: CP vs. MH
14. Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers
15. A New Approach to Solve the Software Project Scheduling Problem Based on Max–Min Ant System
16. From Declarative Set Constraint Models to 'Good' SAT Instances
17. POSL: A Parallel-Oriented Metaheuristic-Based Solver Language
18. Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers
19. Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers
20. Easy Modeling of Open Pit Mining Problems via Constraint Programming
21. Modeling Manufacturing Cell Design Problems: CP vs. MH
22. From Declarative Set Constraint Models to “Good” SAT Instances
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.