Optimizing SAT Encodings for Arithmetic Constraints.
Neng-Fa ZhouHåkan KjellerstrandPublished in: CP (2017)
Keyphrases
- arithmetic constraints
- sat encodings
- constraint satisfaction problems
- arc consistency
- combinatorial problems
- constraint satisfaction
- constraint propagation
- search space
- constraint programming
- sat solvers
- multiple attributes
- np complete
- relational calculus
- np hard
- graph coloring
- scheduling problem
- integer linear programming
- multi objective