Activity-Based Search for Black-Box Constraint Programming Solvers.
Laurent MichelPascal Van HentenryckPublished in: CPAIOR (2012)
Keyphrases
- black box
- constraint programming
- search heuristics
- constraint solver
- search strategies
- symmetry breaking
- global constraints
- black boxes
- constraint satisfaction
- constraint satisfaction problems
- combinatorial problems
- constraint propagation
- backtrack search
- white box
- constraint solvers
- search algorithm
- search space
- constraint solving
- arc consistency
- finite domain
- search strategy
- column generation
- constraint problems
- integration testing
- sat solvers
- branch and bound search
- constraint logic programming
- evolutionary algorithm
- propositional satisfiability
- combinatorial search
- test cases
- data model
- hard and soft constraints