Author:
Lonsing Florian,Bacchus Fahiem,Biere Armin,Egly Uwe,Seidl Martina
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Ansótegui, C., Gomes, C.P., Selman, B.: The achilles’ heel of QBF. In: AAAI/IAAI, pp. 275–281. AAAI Press/The MIT Press (2005)
2. Benedetti, M., Mangassarian, H.: QBF-based formal verification: experience and perspectives. JSAT 5(1–4), 133–191 (2008)
3. Lecture Notes in Computer Science;U Bubeck,2007
4. Davis, M., Logemann, G., Loveland, D.W.: A machine program for theorem-proving. Commun. ACM 5(7), 394–397 (1962)
5. Egly, U., Seidl, M., Woltran, S.: A solver for QBFs in negation normal form. Constraints 14(1), 38–79 (2009)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献