Experimental Repository for "Certified Core-Guided MaxSAT Solving" (Q6711300)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Experimental Repository for "Certified Core-Guided MaxSAT Solving" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Experimental Repository for "Certified Core-Guided MaxSAT Solving" |
Dataset published at Zenodo repository. |
Statements
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.
0 references
25 May 2023
0 references
