Author:
Ball Thomas,Lahiri Shuvendu K.,Musuvathi Madanlal
Publisher
Springer Berlin Heidelberg
Reference55 articles.
1. Lecture Notes in Artificial Intelligence;G. Audemard,2002
2. Lecture Notes in Computer Science;T. Andrews,2004
3. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Information and Computation 98(2), 142–170 (1992)
4. Lecture Notes in Computer Science;C.W. Barrett,2002
5. Lecture Notes in Computer Science;R.E. Bryant,2002
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT-Based Scheduling for Overloaded Real-Time Systems;IEICE Transactions on Information and Systems;2017
2. Efficient generation of craig interpolants in satisfiability modulo theories;ACM Transactions on Computational Logic;2010-10
3. Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers;International Journal on Software Tools for Technology Transfer;2009-11-10
4. Approximating the safely reusable set of learned facts;International Journal on Software Tools for Technology Transfer;2009-09-03
5. E-matching for Fun and Profit;Electronic Notes in Theoretical Computer Science;2008-05