Unsatisfiable Cores for Constraint Programming
Nicholas DowningThibaut FeydyPeter J. StuckeyPublished in: CoRR (2013)
Keyphrases
- constraint programming
- unsatisfiable cores
- combinatorial problems
- maximum satisfiability
- boolean satisfiability
- propositional satisfiability
- symmetry breaking
- hidden structure
- max sat
- constraint propagation
- constraint satisfaction
- constraint satisfaction problems
- integer programming
- search strategies
- global constraints
- constraint logic programming
- column generation
- arc consistency
- search heuristics
- sat solvers
- graph coloring
- constraint solving
- constraint problems
- constraint solvers
- search algorithm
- np hard