Author:
Wimmer Ralf,Reimer Sven,Marin Paolo,Becker Bernd
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Balabanov, V., Chiang, H.K., Jiang, J.R.: Henkin quantifiers and Boolean formulae: a certification perspective of DQBF. Theoret. Comput. Sci. 523, 86–100 (2014)
2. Lecture Notes in Computer Science;A Biere,2005
3. Biere, A.: Aiger format (2007). http://fmv.jku.at/aiger/
4. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117–148 (2003)
5. Frontiers in Artificial Intelligence and Applications,2008
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献