Experimental Repository for "Certified MaxSAT Preprocessing"
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/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 -proof= >
To check and elaborate the proof with VeriPB use
veripb --wcnf --proofOutput
To check the proof with the formally verified proof checker CakePB use
./cake_pb_wcnf
创建时间：
2024-02-10
