Dataset for Manthan: A Data Driven Approach for Boolean Function Synthesis (CAV-20 paper)
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/3892858
下载链接
链接失效反馈官方服务：
资源简介：
The data set consists of 609 benchmarks used for experimental evaluation of paper titled 'Manthan: A Data-Driven Approach for Boolean Function Synthesis" published in International Conference of Computer-Aided Verification (CAV), 2020 . The benchmarks are from following sources:
Prenex-2QBF track of QBFEval-17 and QBFEval-18
Arithmetic set (Srivastava, Gulwani, Foster 2013).
Disjunctive set (Akshay, Charkraborty, John, Shah 2017).
Factorization set (Akshay, Charkraborty, John, Shah 2017).
创建时间：
2020-06-14
