Divide and Conquer: Towards Faster Pseudo-Boolean Solving.

Jan Elffers Jakob Nordström

Published in: IJCAI (2018)

Keyphrases

pseudo boolean
integer linear programming
boolean optimization
combinatorial problems
exact solution
symmetry breaking
propositional satisfiability
pseudo boolean constraints
traveling salesman problem
discrete optimization problems
constraint programming
phase transition
orders of magnitude
graph coloring