Propositional Resolution Proofs And Raw Data Of Experimental Results
收藏Zenodo2020-09-18 更新2026-05-28 收录
下载链接：
https://zenodo.org/record/843775
下载链接
链接失效反馈官方服务：
资源简介：
This dataset contains propositional resolution proofs generated by the SMT-solver VeriT on problems of the Sat-Race 2010 and on other sat problems.
The proofs were used to evaluate two proof compression algorithms: RecyclePivotsWithIntersection and LowerUnits. The experiments were performed in 2010--2011 and raw experimental results are included in the dataset.
A paper about this was published in CADE 2011.
提供机构：
Zenodo创建时间：
2017-08-16
