Login / Signup
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search.
Jo Devriendt
Ambros M. Gleixner
Jakob Nordström
Published in:
Constraints An Int. J. (2021)
Keyphrases
</>
integer linear programming
pseudo boolean
symmetry breaking
column generation
boolean optimization
boolean satisfiability
global constraints
search algorithm
search space
constraint programming
cutting plane
dynamic programming
constraint satisfaction problems
exact solution
optimal solution
linear programming