Dataset for Manthan: A Data Driven Approach for Boolean Function Synthesis (CAV-20 paper)
收藏数据链接：
官方服务：
资源简介：
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).
提供机构：
Zenodo创建时间：
2020-06-13
