Using SAT Encodings to Drive CSP Value Ordering Heuristics.
Christophe LecoutreLakhdar SaisJulien VionPublished in: J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
- sat encodings
- ordering heuristics
- constraint satisfaction problems
- forward checking
- combinatorial problems
- constraint satisfaction
- constraint propagation
- graph coloring
- constraint programming
- arc consistency
- search space
- np complete
- np hard
- constraint networks
- temporal logic
- planning problems
- search algorithm
- non binary
- integer linear programming