Binary Decision Diagrams (BDDs)

People

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 Computing Surveys 24 (3): 293-318 (1992), Technical Report CMU-CS-92-160
Christoph Meinel: Modified Branching Programs and Their Computational Power. LNCS 370, 1989
J. Strother Moore: Introduction to the OBDD Algorithms for the ATP Community. Journal of Automated Reasoning 12: 33-45 (1994), Computational Logic Inc. Technical Report No. 84 (Oct 1992)
Anuchit Anuchitanukul, Zohar Manna: Differential BDDs. Stanford University, STAN:CS-TR-94-1525 (September 1994)
Tomás E. Eribe, 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

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