Reasoning with ordered binary decision diagrams

Akers, 1978, Binary decision diagrams, IEEE Trans. Comput., C-27, 509, 10.1109/TC.1978.1675141 Bryant, 1986, Graph-based algorithms for Boolean function manipulation, IEEE Trans. Comput., C-35, 677, 10.1109/TC.1986.1676819 Bryant, 1992, Symbolic Boolean manipulation with ordered binary decision diagrams, ACM Comput. Surveys, 24, 293, 10.1145/136035.136043 J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, Sequential circuit verification using symbolic model checking, in: Proceedings of 27th ACM/IEEE DAC, 1990, pp. 46–51. S.A. Cook, The complexity of theorem-proving procedures, in: Proceedings of Third ACM Symposium on Theory of Computing, 1971, pp. 151–158. O. Coudert, Doing two-level logic minimization 100 times faster, in: Proceedings of Sixth ACM/SIAM SODA, 1995, pp. 112–118. Dowling, 1984, Linear time algorithms for testing the satisfiability of Horn formula, J. Logic Programming, 3, 267, 10.1016/0743-1066(84)90014-1 Eiter, 1995, The complexity of logic-based abduction, J. ACM, 42, 3, 10.1145/200836.200838 Horiyama, 2002, Ordered binary decision diagrams as knowledge-bases, Artif. Intell., 136/2, 189, 10.1016/S0004-3702(02)00119-4 H.A. Kautz, M.J. Kearns, B. Selman, Reasoning with characteristic models, in: Proceedings of AAAI-93, 1993, pp. 34–39. Kautz, 1995, Horn approximations of empirical data, Artif. Intell., 74, 129, 10.1016/0004-3702(94)00072-9 H.A. Kautz, B. Selman, An empirical evaluation of knowledge compilation by theory approximation, in: Proceedings of the National Conference on Artificial Intelligence (AAAI), 1994, pp. 155–161. Kavvadias, 1993, On Horn envelopes and hypergraph transversals, Vol. 762, 399 Khardon, 1996, Reasoning with models, Artif. Intell., 87, 187, 10.1016/S0004-3702(96)00006-9 J.C. Madre, O. Coudert, A logically complete reasoning maintenance system based on a logical constraint solver, in: Proceedings of IJCAI-91, 1991, pp. 294–299. McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, Vol. 4 S. Minato, N. Ishiura, S. Yajima, Shared binary decision diagram with attributed edges for efficient Boolean function manipulation, in: Proceedings of 27th ACM/IEEE DAC, 1990, pp. 52–57. Peirce, 1955, Abduction and induction B. Selman, H.J. Levesque, Abductive and default reasoning: a computational core, in: Proceedings of AAAI-90, 1990, pp. 343–348. Selman, 1996, Support set selection for abductive and default reasoning, Artif. Intell., 82, 259, 10.1016/0004-3702(94)00069-7 F. Somenzi, CUDD: CU decision diagram package, Department of Electrical and Computer Engineering, The University of Colorado at Boulder http://vlsi.colorado.edu/, 1998. N. Takahashi, N. Ishiura, S. Yajima, Fault simulation for multiple faults using BDD representation of fault sets, in: Proceedings of IEEE/ACM ICCAD-91, 1991, pp. 550–553.