Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"
From MaRDI portal
Dataset:6711279
DOI10.5281/zenodo.4043124Zenodo4043124MaRDI QIDQ6711279FDOQ6711279
Dataset published at Zenodo repository.
Emir Demirović, Stephan Gocht, Peter Stuckey, Jo Devriendt, Jakob Nordstrom
Publication date: 18 September 2020
Copyright license: Creative Commons Attribution 4.0 International
Code and Data supplement to Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
This page was built for dataset: Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"
