%0 Journal Article %1 journals/constraints/DevriendtGN21 %A Devriendt, Jo %A Gleixner, Ambros M. %A Nordström, Jakob %D 2021 %J Constraints An Int. J. %K dblp %N 1 %P 26-55 %T Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. %U http://dblp.uni-trier.de/db/journals/constraints/constraints26.html#DevriendtGN21 %V 26

@article{journals/constraints/DevriendtGN21, added-at = {2021-12-15T00:00:00.000+0100}, author = {Devriendt, Jo and Gleixner, Ambros M. and Nordström, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/26a85de3eef04f7eb43aa551e5cc749f2/dblp}, ee = {https://doi.org/10.1007/s10601-020-09318-x}, interhash = {c3c2f102d47c3e77df480655669ade15}, intrahash = {6a85de3eef04f7eb43aa551e5cc749f2}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 1, pages = {26-55}, timestamp = {2024-04-09T03:37:49.000+0200}, title = {Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints26.html#DevriendtGN21}, volume = 26, year = 2021 }