Published September 18, 2020 | Version v2
Dataset Open

Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"

Authors/Creators

  • 1. Lund University, University of Copenhagen, KU Leuven
  • 2. Lund University, University of Copenhagen
  • 3. TU Delft
  • 4. University of Copenhagen, Lund University
  • 5. Monash University

Description

Code and Data supplement to "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"

Files

cutting-to-the-core.zip

Files (50.2 MB)

Name Size
md5:1f055bd67f59c9b0f4f78e4033dc0d28
50.2 MB Preview Download