Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.
Felix Ulrich-OlteanPeter NightingaleJames Alfred WalkerPublished in: CP (2022)
Keyphrases
- pseudo boolean
- sat encodings
- combinatorial problems
- pseudo boolean constraints
- integer linear programming
- propositional satisfiability
- sat solvers
- constraint programming
- symmetry breaking
- constraint satisfaction problems
- metaheuristic
- graph coloring
- linear arithmetic constraints
- exact solution
- constraint satisfaction
- traveling salesman problem
- global constraints
- linear constraints
- phase transition
- combinatorial optimization
- special case
- branch and bound algorithm
- solving problems
- column generation
- orders of magnitude
- optimization problems