no code implementations • 8 Dec 2020 • Danel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cutting planes based inference is not as well understood as clause learning in conflict-driven clause learning solvers.