Experimental Repository for "Certified MaxSAT Preprocessing"
收藏Zenodo2024-02-09 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.10630851
下载链接
链接失效反馈官方服务：
资源简介：
Experimental Repository for “Certified MaxSAT Preprocessing”
Directory structure
data: Processed data and data analysis scripts.
examples: Example instances from the MaxSAT Evaluation 2023 with augmented and kernel proofs for preprocessing.
plots: Plots generated from the processed data. Some of them were used in the paper.
raw_data: Raw data collected from the computational experiments.
source_code: Source code for the certified version of MaxPRE (maxpre), the proof checker and elaborator VeriPB (VeriPB), and the formally verified proof checker CakePB (cakepb).
How to Run?
The preprocessor MaxPRE with default settings and proof logging enabled is run using
./maxpre <input WCNF instance> -proof=<augmented proof> > <preprocessed WCNF instance>
To check and elaborate the proof with VeriPB use
veripb --wcnf --proofOutput <kernel proof> <input WCNF instance> <augmented proof> <preprocessed WCNF instance>
To check the proof with the formally verified proof checker CakePB use
./cake_pb_wcnf <input WCNF instance> <kernel proof> <preprocessed WCNF instance>
提供机构：
Zenodo创建时间：
2024-02-09
