Author:
Zhang Lintao,Malik Sharad
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. J. Rintanen. Constructing conditional plans by a theorem prover. Journal of Artificial Intelligence Research, 10:323–352, 1999
2. M. Sheeran, S. Singh, G. Stälmark, Checking Safety Properties Using Induction and a SAT-Solver, in Proceedings of FMCAD, 2000
3. A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs, In Tools and Algorithms for the Analysis and Construction of Systems (TACAS), 1999
4. H. Kleine-Büning, M. Karpinski and A. Flögel. Resolution for quantified Boolean formulas. In Information and Computation, 117(1):12–18, 1995
5. D. A. Plaisted, A. Biere and Y. Zhu. A Satisfiability Procedure for Quantified Boolean Formulae, To appear in, Discrete Applied Mathematics
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献