Free & Easy Returns
Best Deals
Free & Easy ReturnsBest Deals
| Publisher | Springer; Softcover reprint of hardcover 1st ed. 2005 edition |
| ISBN 10 | 144193796X |
| Book Format | Paperback |
| Book Description | 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. |
| Number of Pages | 234 pages |
| ISBN 13 | 9781441937964 |
| Author | Rudiger Ebendt |
| Language | English |
| Publication Date | 29 October 2010 |
![/fashion-men/jack_jones/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-men-brands-04.png)
![/fashion-men/seventy_five/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-womens-new-brands-01.png)
![/fashion-men/skechers/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-womens-new-brands-02.png)
![/fashion-women/mango/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-women-brands-05.png)
![/fashion-women/guess/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-women-brands-09.png)
![/fashion-women/ella/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20241812/en_dk-nav-brands-01.png)
![/fashion-women/skechers/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20241812/en_dk-nav-brands-02.png)
![/fashion/view-all-kids-clothing/nike/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240911/nav-web/en_mb_uae_brand-01.png)
![/fashion/view-all-kids-clothing/disney/disney_minnie_mouse/disney_frozen/disney_princess/disney_mickey_mouse/disney_baby/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240911/nav-web/en_mb_uae_brand-03.png)
![/fashion/view-all-kids-clothing/new_balance/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240911/nav-web/en_mb_uae_brand-11.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/chloris/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/cms/pages/20250407/books-nav/en_uae_dk-nav-brands-04.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/roland/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/cms/pages/20250407/books-nav/en_uae_dk-nav-brands-05.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/donner/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/cms/pages/20250407/books-nav/en_uae_dk-nav-brands-06.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/korg/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/cms/pages/20250407/books-nav/en_uae_dk-nav-brands-07.png)
