Author:
Klieber William,Janota Mikoláš,Marques-Silva Joao,Clarke Edmund
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Ansótegui, C., Gomes, C.P., Selman, B.: The Achilles’ Heel of QBF. In: AAAI 2005 (2005)
2. Balabanov, V., Jiang, J.-H.R.: Unified QBF certification and its applications. Formal Methods in System Design 41(1), 45–65 (2012)
3. Lecture Notes in Computer Science;B. Becker,2012
4. Lecture Notes in Artificial Intelligence;M. Benedetti,2005
5. Benedetti, M., Mangassarian, H.: QBF-Based Formal Verification: Experience and Perspectives. In: JSAT (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献