Author of the publication

Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search.

, , and . Constraints An Int. J., 26 (1): 26-55 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Linear Programming using Limited-Precision Oracles., and . CoRR, (2019)Verifying Integer Programming Results., , and . IPCO, volume 10328 of Lecture Notes in Computer Science, page 148-160. Springer, (2017)Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming., and . CPAIOR, volume 7874 of Lecture Notes in Computer Science, page 355-361. Springer, (2013)Exact Methods for Recursive Circle Packing., , , and . CoRR, (2017)On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming., , , , , and . IPCO, volume 12125 of Lecture Notes in Computer Science, page 322-337. Springer, (2020)Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms., , and . SIAM J. Optim., 30 (2): 1339-1365 (2020)Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)., , , and . Dagstuhl Reports, 8 (2): 64-87 (2018)A computational study of perspective cuts., , and . Math. Program. Comput., 15 (4): 703-731 (December 2023)QPLIB: a library of quadratic programming instances., , , , , , , , , and 3 other author(s). Math. Program. Comput., 11 (2): 237-265 (2019)An Algorithm-Independent Measure of Progress for Linear Constraint Propagation., , and . CP, volume 210 of LIPIcs, page 52:1-52:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)