Published May 25, 2023 | Version v3
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 (21.4 MB)

Name Size Download all
md5:1c267bdf693731121cc01ab502dfddf9
21.4 MB Preview Download