Author:
Woźna-Szcześniak Bożena,Szcześniak Ireneusz,Zbrzezny Agnieszka M.,Zbrzezny Andrzej
Publisher
Springer International Publishing
Reference16 articles.
1. Biere, A.: PicoSAT essentials. Journal on Satisfiability, Boolean Modeling and Computation 4, 75–97 (2008)
2. Bryant, R.: Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers 35(8), 677–691 (1986)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)
5. Lecture Notes in Computer Science;P. Gammie,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献