Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
Amit MetodiMichael CodishPeter J. StuckeyPublished in: J. Artif. Intell. Res. (2013)
Keyphrases
- combinatorial problems
- sat encodings
- constraint programming
- constraint satisfaction problems
- traveling salesman problem
- metaheuristic
- constraint satisfaction
- combinatorial optimization
- phase transition
- graph coloring
- branch and bound algorithm
- global constraints
- optimization problems
- constraint propagation
- np complete
- optimal solution
- special case
- integer linear programming
- evolutionary algorithm