Published March 8, 2023
| Version v2
Dataset
Open
Experimental Repository for "Certified Core-Guided MaxSAT Solving"
Authors/Creators
- 1. University of Helsinki
- 2. Vrije Universiteit Brussel
- 3. University of Copenhagen and Lund University
- 4. Lund University and University of Copenhagen
Description
Experimental repository for the paper "Certified Core-Guided MaxSAT Solving"
Directory structure:
- `examples`: Some example MaxSAT instances in WCNF format with proofs.
- `plots`: Plots generated from our experiments; also contain the plots used in the paper.
- `raw_data`: Raw data from the experiments and scripts to analyze the raw data.
- `source_code`: The source code for the certifying version of CGSS (`certified-cgss`), vanilla CGSS with the bugs fixed (`cgss`) and the pseudo-Boolean proof check VeriPB (`VeriPB`) used to run the experiments.
Files
certified_core-guided_MaxSAT_experiments.zip
Files
(18.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3895c1167a05679f23dfab5226bf2780
|
18.7 MB | Preview Download |