Experimental Repository for "Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search"
From MaRDI portal
Dataset:6711276
DOI10.5281/zenodo.3945412Zenodo3945412MaRDI QIDQ6711276FDOQ6711276
Dataset published at Zenodo repository.
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"
