Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Lecture Notes in Computer Science;A. Biere,1999
2. Lecture Notes in Computer Science;G. Gopalakrishnan,2004
3. Lecture Notes in Computer Science;Z. Hanna,2005
4. Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time. In: Proc. 5th Annual ACM Symp. on Theory of Computing, pp. 1–9 (1973)
5. Narizzano, M., Peschiera, C., Pulina, L., Tacchella, A.: Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Communications 22(4), 191–210 (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献