Related Books

Decision Diagrams for Optimization
Language: en
Pages: 262
Authors: David Bergman
Categories: Computers
Type: BOOK - Published: 2016-11-01 - Publisher: Springer

DOWNLOAD EBOOK

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over
Branching Programs and Binary Decision Diagrams
Language: en
Pages: 418
Authors: Ingo Wegener
Categories: Mathematics
Type: BOOK - Published: 2000-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of
Handbook of Parallel Constraint Reasoning
Language: en
Pages: 687
Authors: Youssef Hamadi
Categories: Computers
Type: BOOK - Published: 2018-04-05 - Publisher: Springer

DOWNLOAD EBOOK

This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributio
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook
Language: en
Pages: 960
Authors: Svetlana N. Yanushkevich
Categories: Technology & Engineering
Type: BOOK - Published: 2018-10-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Decision diagram (DD) techniques are very popular in the electronic design automation (EDA) of integrated circuits, and for good reason. They can accurately sim
Logic Synthesis and Optimization
Language: en
Pages: 382
Authors: Tsutomu Sasao
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading experts on the subjec