Single-Solver Algorithms for 2QBF - (Poster Presentation)
暂无分享,去创建一个
[1] Ofer Strichman,et al. Theory and Applications of Satisfiability Testing – SAT 2010 , 2010, Lecture Notes in Computer Science.
[2] Sharad Malik,et al. A Comparative Study of 2QBF Algorithms , 2004, SAT.
[3] Chengqi Zhang,et al. Association Rule Mining , 2002, Lecture Notes in Computer Science.
[4] Sharad Malik,et al. Efficient conflict driven learning in a Boolean satisfiability solver , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
[5] Armin Biere,et al. DepQBF: A Dependency-Aware QBF Solver (System Description) , 2010 .
[6] Armin Biere,et al. A survey of recent advances in SAT-based formal verification , 2005, International Journal on Software Tools for Technology Transfer.
[7] Sharad Malik,et al. Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation , 2002, CP.
[8] Enrico Giunchiglia,et al. sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning , 2010, SAT.
[9] Nicolas Barnier,et al. Solving the Kirkman's schoolgirl problem in a few seconds , 2002 .
[10] Enrico Giunchiglia,et al. QuBE7.0 , 2010, J. Satisf. Boolean Model. Comput..