Author:
Klieber William,Sapra Samir,Gao Sicun,Clarke Edmund
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Ansótegui, C., Gomes, C.P., Selman, B.: The Achilles’ Heel of QBF. In: AAAI (2005)
2. Lecture Notes in Artificial Intelligence;M. Benedetti,2005
3. Lecture Notes in Computer Science;A. Biere,2005
4. Egly, U., Seidl, M., Woltran, S.: A Solver for QBFs in Nonprenex Form. In: ECAI (2006)
5. Ganai, M.K., Ashar, P., Gupta, A., Zhang, L., Malik, S.: Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. In: DAC (2002)
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献