Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Armstrong, T., Marriott, K., Schachte, P., Søndergaard, H.: Two Classes of Boolean Functions for Dependency Analysis. Science of Computer Programming 31(1), 3–45 (1998)
2. Bender, E.A.: Mathematical Methods in Artificial Intelligence. IEEE Computer Society Press, Los Alamitos (1996)
3. Blake, A.: Canonical expressions in Boolean algebra. University of Chicago, Chicago (1938)
4. Lecture Notes in Computer Science;J. Brauer,2010
5. Bryant, R.E.: Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys 24(3), 293–318 (1992)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献