Experimental Repository for "Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search"

DOI10.5281/zenodo.3945412Zenodo3945412MaRDI QIDQ6711276FDOQ6711276

Authors Ambros Gleixner, Jakob Nordstrom, Jo Devriendt

Publication date 13 July 2020

Copyright license Creative Commons Attribution 4.0 International

This page was built for dataset: Experimental Repository for "Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search"