Published June 23, 2022
| Version v1
Journal article
Open
On Division Versus Saturation in Pseudo-Boolean Solving --- Supplemental Material
- 1. Lund University, Lund, Sweden
- 2. University of Copenhagen, Copenhagen, Denmark
- 3. Technion - Israel Institute of Technology
Description
Supplemental material for the paper "On Division Versus Saturation in Pseudo-Boolean Solving", including benchmarks, solver source code and experimental data.
Files
SupplementalMaterial_OnDivisionVsSaturation.zip
Files
(53.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b616badb8463cf1d8392740ba86c0f65
|
53.5 MB | Preview Download |