Publisher
Springer International Publishing
Reference44 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
2. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677–691 (1986)
3. McMillan, K.L.: Symbolic model checking: an approach to the state explosion problem. Ph.d. thesis. UMI No. GAX92-24209 (1992)
4. Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)
5. Lecture Notes in Computer Science;A Biere,1999
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献