scholarly journals Variable ordering for ordered binary decision diagrams by a divide-and-conquer approach

1997 ◽  
Vol 144 (5) ◽  
pp. 261 ◽  
Author(s):  
F.-M. Yeh ◽  
S.-Y. Kuo
Keyword(s):  
Binary Decision Diagrams ◽  
Divide And Conquer ◽  
Decision Diagrams ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision ◽  
Variable Ordering

NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS

1993 ◽  
Vol 03 (01) ◽  
pp. 3-12 ◽  
Author(s):  
DETLEF SIELING ◽  
INGO WEGENER
Keyword(s):  
Binary Decision Diagrams ◽  
Pattern Generation ◽  
Decision Diagrams ◽  
Equivalence Test ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision ◽  
Verification Test ◽  
Logical Synthesis ◽  
Redundancy Test ◽  
Nc Algorithms

(Ordered) binary decision diagrams are a powerful representation for Boolean functions and are widely used in logical synthesis, verification, test pattern generation or as part of CAD tools. NC-algorithms are presented for the most important operations on this representation, e.g. evaluation for a given input, minimization, satisfiability, redundancy test, replacement of variables by constants or functions, equivalence test and synthesis. The algorithms have logarithmic run time on CRCW COMMON PRAMs with a polynomial number of processors.

scholarly journals Optimal ordered binary decision diagrams for read-once formulas

2000 ◽  
Vol 103 (1-3) ◽  
pp. 237-258 ◽  
Author(s):  
Martin Sauerhoff ◽  
Ingo Wegener ◽  
Ralph Werchner
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision
Sign in / Sign up

Export Citation Format

Share Document