Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

99

TC
1998

88views Information Technology» more TC 1998»

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

15 years 2 months ago

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

Download www.cs.columbia.edu

Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill

Real-time Traffic

Information Technology | TC 1998 |

claim paper

Related Content

» Reducing the number of variable movements in exact BDD minimization

» CostBounded Binary Decision Diagrams for 01 Programming

» Functional simulation using binary decision diagrams

» Minimization of memory size for heterogeneous MDDs

» An Implicit Approach to Minimizing RangeEquivalent Circuits

» NonEnumerative Path Delay Fault Diagnosis

» Safe BDD Minimization Using Dont Cares

» Disjoint Sum of Product Minimization by Evolutionary Algorithms

» Using Lower Bounds During Dynamic BDD Minimization

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	TC
Authors	Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli

Comments (0)