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
Symbolic Analysis Methods - For Masks Circuits Self-citation (Bryant) (Correct)
No context found.
R. E. Bryant, "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams," ACM Computing Surveys, Vol. 24, No. 3 (September, 1992), 293-- 318.
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.
Specifying and Analyzing Early Requirements: Some.. - Fuxman, Liu.. (2003) (1 citation) (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293--318, 1992.
The Role of OBDDs in Controlling the Complexity of Model.. - Torta, Torasso (Correct)
No context found.
R. Bryant, `Symbolic boolean manipulation with ordered binarydecision diagrams', ACM Computing Surveys, 24, 293--318, (1992).
Optorsim - A Grid Simulator For Studying Dynamic Data Replication.. - Bell (2003) (5 citations) (Correct)
No context found.
Bryant, R.E. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
Logic Level Power Estimation Considering.. - Marculescu.. (1994) (8 citations) (Correct)
No context found.
R. E. Bryant, `Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams', in ACM Computing Surveys, Vol. 24, No. 3, Sept. 1992
Specifying and Analyzing Early Requirements in Tropos - Fuxman, Liu, Mylopoulos.. (2003) (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293-- 318, 1992.
Specifying and Analyzing Early Requirements in Tropos - Fuxman (2003) (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293-- 318, 1992.
Specifying and Analyzing Early Requirements: Some.. - Ariel Fuxman Lin (2003) (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293--318, 1992.
Formal Tropos: language and semantics - Fuxman Kazhamiakin Pistore (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Survey, 24(3):293--318, 1992.
Probabilistic Modeling of Dependencies During.. - Marculescu.. (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.
Formal Analysis of Early Requirements Specifications - Fuxman (2001) (6 citations) (Correct)
No context found.
R. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992.
Reachability Analysis of Pushdown Automata: Application.. - Bouajjani, Esparza.. (1997) (100 citations) (Correct)
No context found.
R. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24, 1992.
Model Checking Concurrent Systems with Unbounded Integer.. - Bultan, Gerber, Pugh (1998) (26 citations) (Correct)
No context found.
R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, September 1992.
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
No context found.
R. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293--318, September 1992.
Memory Efficient State Storage in SPIN - Visser, Barringer (1995) (6 citations) (Correct)
No context found.
R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293--318, September 1992.
Supervisory Control of Structured Discrete Event Systems - gaudin, Marchand (2003) (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM computing Surveys, pages 293--318, September 1992.
Simple and Efficient Relational Querying of Software.. - Beyer, Noack, Lewerentz (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.
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
No context found.
R.E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, September 1992.
A Hierarchy Result for Read-Once - Branching Programs With (2001) (Correct)
No context found.
Bryant, R.E. (1992). Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24, 293--318.
A System for Querying and Viewing Business Constraints - Mizuho Iwaihara Masayuki (Correct)
No context found.
R. E. Bryant, "Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams," ACM Computing Surveys, 24(3): 293--318, September 1992.
Symbolic Representations and Analysis of Large State Spaces - Miner, Parker (2003) (1 citation) (Correct)
No context found.
R. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
Supervisory Control of Product and Hierarchical Discrete.. - Gaudin Marchand Vertecs (2003) (Correct)
No context found.
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM computing Surveys, pages 293--318, September 1992.
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
No context found.
R.E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, September 1992. 42
Software Model Checking: The VeriSoft Approach - Patrice Godefroid Bell (2003) (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. 00] J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting Finite-State Models from Java Source Code. In Proceedings of the 22nd International Conference on Software Engineering, 2000.
Constraint Logic Programming and Mu-Calculus - Colin, Mesnard, Rauzy (1997) (Correct)
No context found.
R.E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, pages 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