Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS99), Lect. Notes in Comp. Sci. Springer-Verlag, 1999.
2. A. Biere, E. Clarke, R. Raimi, and Y. Zhu. Verifying safety properties of a power pc TM microprocessor using symbolic model checking without bdds. In N. Halbwachs and D. Peled, editors, Proc. 11 th Intl. Conference on Computer Aided Verification (CAV’99), Lect. Notes in Comp. Sci. Springer-Verlag, 1999.
3. R. I. Brafman and H. H. Hoos. To encode or not to encode: linear planning. IJCAI, pages 988–993, 1999.
4. M. Davis and H. Putnam. A computing procedure for quantification theory. J. ACM, 7:201–215, 1960.
5. L.G.e. Silva, L.M. Silveira, and J.P.M. Silva. Algorithms for solving boolean satisfiability in combinational circuits. In Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), March 1999.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献