Author:
Balabanov Valeriy,Chiang Hui-Ju Katherine,Jiang Jie-Hong Roland
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Artificial Intelligence;M. Benedetti,2005
2. Blass, A., Gurevich, Y.: Henkin quantifiers and complete problems. Annals of Pure and Applied Logic 32, 1–16 (1986)
3. Balabanov, V., Jiang, J.-H.R.: Unified QBF certification and its applications. In: Formal Methods in System Design (2012)
4. Lecture Notes in Computer Science;U. Bubeck,2006
5. Bubeck, U.: Model-based Transformations for Quantified Boolean Formulas. IOS Press (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complexity of Fixed-Size Bit-Vector Logics;Theory of Computing Systems;2015-09-07
2. Fast DQBF Refutation;Lecture Notes in Computer Science;2014