Speeding up Pseudo-Boolean Propagation.
Robert NieuwenhuisAlbert OliverasEnric Rodríguez-CarbonellRui ZhaoPublished in: SAT (2024)
Keyphrases
- pseudo boolean
- integer linear programming
- combinatorial problems
- pseudo boolean constraints
- symmetry breaking
- propositional satisfiability
- boolean optimization
- exact solution
- constraint programming
- logic programming
- column generation
- traveling salesman problem
- discrete optimization problems
- genetic algorithm
- branch and bound
- orders of magnitude
- optimization problems
- dynamic programming