@article{DevriendtGleixnerNordstroem2021, author = {Jo Devriendt and Ambros Gleixner and Jakob Nordstr{\"o}m}, title = {Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search}, journal = {Constraints}, volume = {26}, pages = {26 -- 55}, doi = {10.1007/s10601-020-09318-x}, year = {2021}, }