R.E. Bryant. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 24(3):293--318, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Retrenchment, and the Generation of Fault Trees - For Static Dynamic (Correct)
No context found.
R.E. Bryant. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Scalable Subgraph Mapping for Acyclic Computation.. - Clark, Hormati, Mahlke.. (2006) (Correct)
No context found.
R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006) (Correct)
No context found.
R.E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Abstraction-based Model Checking - Using Modal Transition (Correct)
No context found.
R. R. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293-318, September 1992.
Specification and Enforcement of Classification and.. - Steven Dawson Sabrina (1999) (2 citations) (Correct)
No context found.
R.E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Standby Power Management Architecture for Deep-Submicron Systems - Sheets (2006) (Correct)
No context found.
R. E. Bryant, "Symbolic boolean manipulation with ordered binary-decision diagrams, " Computing Surveys, vol. 24, no. 3, pp. 293--318, 1992.
Repair of Boolean Programs with an Application to C - Andreas Griesmayer Roderick (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24:293--318, 1992.
Ordered Binary Decision Diagrams - And Minimal Trellises (Correct)
No context found.
R.E. Bryant, "Symbolic boolean manipulation with ordered binary decision diagrams, " ACM Computing Surveys, vol. 24, pp. 293--318, September 1992.
Model Checking - Clarke, Schlingloff (2000) (755 citations) (Correct)
No context found.
Bryant R. E. [1992], `Symbolic Boolean manipulation with ordered binary decision diagrams', ACM Computing Surveys 24(3), 293-317.
Probabilistic Modeling of Dependencies During Switching.. - Radu Marculescu Diana (1998) (1 citation) (Correct)
No context found.
R. E. Bryant, `Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams', in ACM Computing Surveys, Vol. 24, No. 3, pp. 293-318, Sept. 1992.
Edge-Valued Binary-Decision Diagrams - Yung-Te Lai Massoud (Correct)
No context found.
R. E. Bryant, "Symbolic Boolean manipulation with ordered binary-decision diagrams," Computing Surveys, Vol. 24, No. 3, pp. 293-318, Sept. 1992.
Edge Valued Binary Decision Diagrams - Vrudhula, Pedram, Lai (1996) (9 citations) (Correct)
No context found.
R. E. Bryant, "Symbolic Boolean manipulation with ordered binary-decision diagrams," Computing Surveys, Vol. 24, No. 3, pp. 293-318, Sept. 1992.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
R.E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Efficient Relational Calculation for Software Analysis - Beyer, Noack, Lewerentz (2005) (Correct)
No context found.
R.E. Bryant, "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams," ACM Computing Surveys, vol. 24, no. 3, pp. 293-318, 1992.
Simple and Efficient Relational Querying of Software Structures - Dirk Beyer Andreas (2003) (4 citations) (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Boolean Equation Solving as Graph Traversal - Brian Herlihy Peter (Correct)
No context found.
Bryant, R. (1992), `Symbolic Boolean manipulation with ordered binary-decision diagrams', ACM Computing Surveys 24(3), 293--318.
Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005) (Correct)
No context found.
R. Bryant. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Diagnosing a Team of Agents: Scaling-Up - Meir Kalech And (2004) (Correct)
No context found.
R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
On The Benefits Of Using Functional Transitions And .. - Benoit, Fernandes, .. (2004) (3 citations) (Correct)
No context found.
R.E. Bryant, Symbolic boolean manipulation with ordered binary-decision diagrams, ACM Comp. Surv. 24 (3) (1992) 318--393.
Towards Model-Based Diagnosis of Coordination Failures - Meir Kalech And (Correct)
No context found.
Bryant, R. E. 1992. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3):293--318.
Experimental Evaluation of Classical Automata Constructions - Tabakov, Vardi (Correct)
No context found.
R.E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Query Optimization for Selections Using Bitmaps - Wu (1998) (11 citations) (Correct)
No context found.
R.E. Bryant, Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams, ACM Computing Surveys, 24(3), 1992.
For Combinational Logic Synthesis - Approved By Dr (Correct)
No context found.
R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, vol. 24, no. 3:293--318, September 1992.
An Automata Approach to Pattern Collections - Mielikäinen (2004) (Correct)
No context found.
Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24 (1992) 293--318
Improving System Reliability Via Model Checking: The.. - Bozzano (2003) (Correct)
No context found.
R.E. Bryant. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC