Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992) (494 citations) (Correct)
.... a simple variable test [Karplus 1989] Researchers at CMU have experimented with Free BDDs, in which the variable ordering restriction of OBDDs is relaxed to the extent that the variables can appear in any order, but no path from the root to a terminal vertex can test a variable more than once [Brace 1988]. Such graphs, known as 1 time branching programs in the theoretical community [Wegener 1988] have many of the desirable properties of OBDDs, including an efficient (although probabilistic) method for testing equivalence [Blum and Chandra 1980] Recently, techniques based on this representation ....
Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA).
Unknown - Mcmillan Mcmillan Symbolic (Correct)
No context found.
Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA).
Unknown - Mcmillan Mcmillan Symbolic (Correct)
No context found.
Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA).
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992) (494 citations) (Correct)
No context found.
Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA).
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992) (494 citations) (Correct)
No context found.
Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA).
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992) (494 citations) (Correct)
No context found.
Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA).
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992) (494 citations) (Correct)
No context found.
Brace, K. S. 1988. private communication, Carnegie Mellon University, (Pittsburgh, PA).
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