On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.
Matthias WestphalJulien HuéStefan WölflPublished in: ICTAI (2013)
Keyphrases
- qualitative temporal reasoning
- sat encodings
- constraint satisfaction problems
- sat solvers
- point algebra
- combinatorial problems
- constraint satisfaction
- graph coloring
- search space
- domain independent
- constraint propagation
- evolutionary algorithm
- np complete
- first order logic
- constraint programming
- integer linear programming