scholarly journals Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

Constraints ◽  
2021 ◽  
Author(s):  
Jo Devriendt ◽  
Ambros Gleixner ◽  
Jakob Nordström
Sign in / Sign up

Export Citation Format

Share Document