Jo Devriendt, Ambros M. Gleixner, Jakob Nordström. Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Constraints, 26(1):26-55, 2021. [doi]
@article{DevriendtGN21, title = {Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search}, author = {Jo Devriendt and Ambros M. Gleixner and Jakob Nordström}, year = {2021}, doi = {10.1007/s10601-020-09318-x}, url = {https://doi.org/10.1007/s10601-020-09318-x}, researchr = {https://researchr.org/publication/DevriendtGN21}, cites = {0}, citedby = {0}, journal = {Constraints}, volume = {26}, number = {1}, pages = {26-55}, }