Published July 13, 2020
| Version v1
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.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:7fa1871cb9a616b72f6e45d404c4950f
|
9.1 MB | Preview Download |