Publisher
Springer Berlin Heidelberg
Reference110 articles.
1. Selman, B., Kautz, H.A., McAllester, D.A.: Ten challenges in propositional reasoning and search. In: Proceedings of the Fifteenth International JointConference on Artificial Intelligence (IJCAI 1997), pp. 50–54 (1997)
2. Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic model checking without BDDs. In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Amsterdam, The Netherlands, March 1999, pp. 193–207 (1999)
3. Velev, M.N., Bryant, R.E.: Effective use of boolean satisfiability procedures in the formal verification of superscalar and vliw microprocessors. In: Proc. 38th Design Automation Conference (DAC 2001), pp. 226–231 (2001)
4. Bjesse, P., Leonard, T., Mokkedem, A.: Finding bugs in an alpha microprocessor using satisfiability solvers. In: Proc. 13th Int. Conf. on Computer Aided Verification (2001)
5. Simon, L., Le Berre, D., Hirsch, E.: The sat2002 competition (2002), http://www.satlive.org/SATCompetition/onlinereport.pdf
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献