There is a newer version of the record available.

Published May 31, 2020 | Version v1
Software Open

Experimental Repository for "Watched Propagation of 0-1 Integer Linear Constraints"

Authors/Creators

  • 1. Lund University, University of Copenhagen

Description

# Watched Propagation of 0-1 Integer Linear Constraints

Experimental repository.

Directory structure:

- binary: contains the statically compiled RoundingSat binary used for the experiments.
- code: contains source code for the binary.
- data: contains raw .csv data files of the experiments.

Files

watched-pb-propagation.zip

Files (5.1 MB)

Name Size Download all
md5:1e7ccb46ccb8dd7e71e2feabb2f5a7ed
5.1 MB Preview Download