Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper).
Augustin DeleclusePierre SchausPublished in: CP (2024)
Keyphrases
- black box
- constraint programming
- solving optimization problems
- search heuristics
- backtrack search
- search strategies
- optimization problems
- combinatorial problems
- constraint satisfaction
- constraint solvers
- constraint propagation
- black boxes
- propositional satisfiability
- constraint satisfaction problems
- white box
- global constraints
- test cases
- constraint solving
- constraint solver
- knowledge sources
- instruction scheduling
- symmetry breaking
- finite domain
- white box testing
- heuristic search
- evolutionary algorithm
- integration testing
- hard and soft constraints
- search algorithm