Binary Decision Diagrams (BDDs)

BDDs

• D. L. Beatty, Randal E. Bryant: Formally Verifying a Microprocessor using a Simulation Methodology. 31st Design Automation Conference, June, 1994, pp. 596-602, Postscript
• Randal E. Bryant: Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Comput. Surv. 24(3): 293-318(1992)
• Christoph Meinel: Modified Branching Programs and Their Computational Power. LNCS 370, 1989
• J. Strother Moore: Introduction to the OBDD Algorithm for the ATP Community. J. Autom. Reasoning 12(1): 33-46(1994)
• Anuchit Anuchitanukul, Zohar Manna: Differential BDDs. Stanford University, STAN:CS-TR-94-1525 (September 1994)
• Tomás E. Uribe, Mark E. Stickel: Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL 1994: 34-49
• Joachim Posegga: Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. Dissertation, Universität Karlsruhe, DISKI Bd. 51, infix-Verlag, Sankt Augustin, 1993
• Mizuho Iwaihara, Yusaku Inoue: Bottom-Up Evaluation of Logic Programs Using Binary Decision Diagrams. ICDE 1995: 467-474

BMDs

• Randal E. Bryant, Yirng-An Chen: Verification of Arithmetic Functions with Binary Moment Diagrams. Technical Report CMU-CS-94-160

Related Topics

• CLP(B), Boolean Unification
• Toupie