Published July 13, 2020 | Version v2
Dataset Open

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

Authors/Creators

  • 1. Lund University, University of Copenhagen
  • 2. Zuse Institute Berlin
  • 3. University of Copenhagen, Lund University

Description

# Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search

Experimental repository.

Directory structure:

- binary: contains the statically compiled RoundingSat binary used for the experiments.
- data: contains raw .csv data files of the experiments.
- plots: contains the plots in the paper, as well as additional ones.

Files

learn-to-relax.zip

Files (9.2 MB)

Name Size Download all
md5:e4e8fb8cb61a05e7b4e83e55857b7a64
9.2 MB Preview Download