A Cardinal Improvement to Pseudo-Boolean Solving.
Jan ElffersJakob NordströmPublished in: AAAI (2020)
Keyphrases
- pseudo boolean
- boolean optimization
- integer linear programming
- combinatorial problems
- exact solution
- symmetry breaking
- propositional satisfiability
- pseudo boolean constraints
- discrete optimization problems
- constraint programming
- boolean satisfiability
- combinatorial optimization
- discrete optimization
- graph coloring
- sat solving
- global constraints
- randomly generated
- evolutionary algorithm