KI-Beratung Beta

Produktbild: Advanced BDD Optimization

Advanced BDD Optimization

139,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.10.2010

Abbildungen

X, 222 p.

Verlag

Springer Us

Seitenzahl

222

Maße (L/B/H)

24/16/1,3 cm

Gewicht

378 g

Sprache

Englisch

ISBN

978-1-4419-3796-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.10.2010

Abbildungen

X, 222 p.

Verlag

Springer Us

Seitenzahl

222

Maße (L/B/H)

24/16/1,3 cm

Gewicht

378 g

Sprache

Englisch

ISBN

978-1-4419-3796-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Advanced BDD Optimization

  • Preface.
    1. Introduction. 2. Preliminaries.
    2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams.-
    3. Exact node Minimization.
    3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary.-
    4. Heuristic node Minimization.
    4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dynamic Reordering. 4.3. Efficient Forms of Improved Lower Bounds. 4.4. Combination of Improved Lower Bounds with Classical Bounds. 4.5. Experimental Results. 4.6. Summary.-
    5. Path Minimization.
    5.1. Minimization of Number of Paths. 5.2. Minimization of Expected Path Length. 5.3. Minimization of Average Path Length. 5.4. Summary.-
    6. Relation between SAT and BDDS.
    6.1. Davis-Putnam Procedure. 6.2. On the Relation between DP Procedure and BDDs. 6.3. Dynamic Variable Ordering Strategy for DP Procedure. 6.4. Experimental Results. 6.5. Summary.-
    7. Final Remarks.
    References. Index.