Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
Amit MetodiMichael CodishPeter James StuckeyPublished in: CoRR (2014)
Keyphrases
- combinatorial problems
- sat encodings
- constraint programming
- constraint satisfaction problems
- constraint satisfaction
- graph coloring
- combinatorial optimization
- traveling salesman problem
- metaheuristic
- phase transition
- global constraints
- neural network
- branch and bound algorithm
- sat solvers
- boolean functions
- integer programming