Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search
scientific article; zbMATH DE number 7471952
scientific article