Sciweavers

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

9

TC
1998

favoriteEmaildiscussreport

88views Information Technology» more TC 1998»

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

13 years 4 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)