Pseudo-Boolean Solving by incremental translation to SAT.
Panagiotis ManoliosVasilis PapavasileiouPublished in: FMCAD (2011)
Keyphrases
- pseudo boolean
- propositional satisfiability
- integer linear programming
- pseudo boolean constraints
- combinatorial problems
- boolean optimization
- symmetry breaking
- boolean satisfiability
- exact solution
- sat solvers
- constraint programming
- automated reasoning
- industrial applications
- column generation
- metaheuristic
- graph coloring
- propositional logic
- sat solving
- sat instances
- sat problem
- constraint satisfaction problems
- phase transition
- combinatorial optimization
- constraint satisfaction
- global constraints
- search tree
- branch and bound algorithm
- traveling salesman problem
- belief revision
- sat encodings
- discrete optimization problems
- satisfiability problem
- unconstrained optimization
- orders of magnitude
- objective function