@inproceedings{DevriendtGleixnerNordstroem2020, 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}, booktitle = {Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2020}, volume = {12296}, pages = {xxiv -- xxvi}, year = {2020}, }