Branching Programs and Binary Decision Diagrams

Branching Programs and Binary Decision Diagrams
Title Branching Programs and Binary Decision Diagrams PDF eBook
Author Ingo Wegener
Publisher SIAM
Pages 411
Release 2000-01-01
Genre Mathematics
ISBN 0898714583

Download Branching Programs and Binary Decision Diagrams Book in PDF, Epub and Kindle

This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. Efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered.

Branching Programs and Binary Decision Diagrams

Branching Programs and Binary Decision Diagrams
Title Branching Programs and Binary Decision Diagrams PDF eBook
Author Ingo Wegener
Publisher SIAM
Pages 418
Release 2000-01-01
Genre Mathematics
ISBN 9780898719789

Download Branching Programs and Binary Decision Diagrams Book in PDF, Epub and Kindle

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered. This book is the first comprehensive description of theory and applications. Research areas like complexity theory, efficient algorithms, data structures, and discrete mathematics will benefit from the theory described in this book. The results described within have applications in verification, computer-aided design, model checking, and discrete mathematics. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations.

Decision Diagrams for Optimization

Decision Diagrams for Optimization
Title Decision Diagrams for Optimization PDF eBook
Author David Bergman
Publisher Springer
Pages 262
Release 2016-11-01
Genre Computers
ISBN 3319428497

Download Decision Diagrams for Optimization Book in PDF, Epub and Kindle

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over state-of-the-art technology. The authors present chapters on the use of decision diagrams for combinatorial optimization and constraint programming, with attention to general-purpose solution methods as well as problem-specific techniques. The book will be useful for researchers and practitioners in discrete optimization and constraint programming. "Decision Diagrams for Optimization is one of the most exciting developments emerging from constraint programming in recent years. This book is a compelling summary of existing results in this space and a must-read for optimizers around the world." [Pascal Van Hentenryck]

Logic Synthesis and Verification

Logic Synthesis and Verification
Title Logic Synthesis and Verification PDF eBook
Author Soha Hassoun
Publisher Springer Science & Business Media
Pages 474
Release 2001-11-30
Genre Computers
ISBN 9780792376064

Download Logic Synthesis and Verification Book in PDF, Epub and Kindle

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges. Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references. Two unique features of this book are technical strength and comprehensiveness. The book chapters are written by twenty-eight recognized leaders in the field and reviewed by equally qualified experts. The topics collectively span the field. Logic Synthesis and Verification fills a current gap in the existing CAD literature. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field. The book is intended for seniors, graduate students, researchers, and developers of related Computer-Aided Design (CAD) tools. From the foreword: "The commercial success of logic synthesis and verification is due in large part to the ideas of many of the authors of this book. Their innovative work contributed to design automation tools that permanently changed the course of electronic design." by Aart J. de Geus, Chairman and CEO, Synopsys, Inc.

Boolean Models and Methods in Mathematics, Computer Science, and Engineering

Boolean Models and Methods in Mathematics, Computer Science, and Engineering
Title Boolean Models and Methods in Mathematics, Computer Science, and Engineering PDF eBook
Author Yves Crama
Publisher Cambridge University Press
Pages 781
Release 2010-06-28
Genre Computers
ISBN 0521847524

Download Boolean Models and Methods in Mathematics, Computer Science, and Engineering Book in PDF, Epub and Kindle

A collection of papers written by prominent experts that examine a variety of advanced topics related to Boolean functions and expressions.

Experimental Algorithmics

Experimental Algorithmics
Title Experimental Algorithmics PDF eBook
Author Rudolf Fleischer
Publisher Springer Science & Business Media
Pages 295
Release 2002-12-13
Genre Computers
ISBN 3540003460

Download Experimental Algorithmics Book in PDF, Epub and Kindle

Experimental algorithmics, as its name indicates, combines algorithmic work and experimentation: algorithms are not just designed, but also implemented and tested on a variety of instances. Perhaps the most important lesson in this process is that designing an algorithm is but the first step in the process of developing robust and efficient software for applications. Based on a seminar held at Dagstuhl Castle, Germany in September 2000, this state-of-the-art survey presents a coherent survey of the work done in the area so far. The 11 carefully reviewed chapters provide complete coverage of all current topics in experimental algorithmics.

Algorithms and Data Structures in VLSI Design

Algorithms and Data Structures in VLSI Design
Title Algorithms and Data Structures in VLSI Design PDF eBook
Author Christoph Meinel
Publisher Springer Science & Business Media
Pages 271
Release 2012-12-06
Genre Computers
ISBN 3642589405

Download Algorithms and Data Structures in VLSI Design Book in PDF, Epub and Kindle

One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow. This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design.