Search

Your search keyword '"Monfroy, Eric"' showing total 22 results

Search Constraints

Start Over You searched for: Author "Monfroy, Eric" Remove constraint Author: "Monfroy, Eric" Publisher springer international publishing Remove constraint Publisher: springer international publishing
22 results on '"Monfroy, Eric"'

Search Results

1. GA and ILS for Optimizing the Size of NFA Models

2. Improved SAT Models for NFA Learning

3. 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

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

16. From Declarative Set Constraint Models to 'Good' SAT Instances

Catalog

Books, media, physical & digital resources