On Division Versus Saturation in Pseudo-Boolean Solving.
Stephan GochtJakob NordströmAmir YehudayoffPublished in: IJCAI (2019)
Keyphrases
- pseudo boolean
- boolean optimization
- combinatorial problems
- integer linear programming
- symmetry breaking
- exact solution
- pseudo boolean constraints
- propositional satisfiability
- discrete optimization problems
- boolean satisfiability
- metaheuristic
- combinatorial optimization
- constraint satisfaction
- constraint programming
- sat solving
- discrete optimization
- graph coloring
- unconstrained optimization
- global constraints
- sat solvers