Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver.
Tom MartyTristan FrançoisPierre TessierLouis GautierLouis-Martin RousseauQuentin CappartPublished in: CP (2023)
Keyphrases
- constraint programming
- constraint satisfaction
- constraint propagation
- learning algorithm
- constraint solver
- constraint solving
- search strategies
- integer programming
- reinforcement learning
- search heuristics
- combinatorial problems
- column generation
- background knowledge
- tabu search
- symmetry breaking
- search algorithm
- constraint based pattern mining