Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers.
Broderick CrawfordRicardo SotoRodrigo OlivaresRodrigo HerreraÉric MonfroyFernando ParedesPublished in: HCI (26) (2014)
Keyphrases
- constraint programming
- search heuristics
- constraint solver
- search strategies
- symmetry breaking
- combinatorial problems
- constraint propagation
- global constraints
- constraint satisfaction problems
- constraint satisfaction
- backtrack search
- constraint problems
- combinatorial search
- integer programming
- sat solvers
- branch and bound search
- constraint optimization
- arc consistency
- constraint solvers
- column generation
- search space
- solving hard
- np hard problems
- itemset mining
- finite domain
- linear constraints
- hard and soft constraints
- graph coloring
- search strategy
- tabu search
- propositional satisfiability
- constraint solving
- search procedures
- genetic algorithm
- constraint networks
- search methods
- evolutionary algorithm
- objective function