Binary Decision Diagrams (BDDs)
People
Publications
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 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
BMDs
- Randal E. Bryant, Yirng-An Chen: Verification of Arithmetic Functions with
Binary Moment Diagrams. Technical Report
CMU-CS-94-160
Related Topics
This page is part of a Bibliography Server
on Database Systems and Logic Programming by
Michael Ley
(ley@uni-trier.de) 26-Apr-95