|
libcats.org
Branching programs and binary decision diagramsIngo WegenerFinite 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.
Популярные книги за неделю:
![]() Сто лет одиночестваАвтор: Маркес Габриэль ГарсияКатегория: Современная проза
Размер книги: 1.46 Mb
![]() Самое важное подтверждение ОТО или что измерил лорд Эддингтон в 1919 годуАвтор: Ивченков ГеннадийКатегория: Теоретическое естествознание
Размер книги: 95 Kb
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() The Fictions of James Joyce and Wyndham Lewis: Monsters of Nature and DesignАвтор: Scott W. KleinКатегория: Наука (общее), Научно-популярное
Размер книги: 4.83 Mb
![]() Ecumenical Ecclesiology: Unity, Diversity and Otherness in a Fragmented World (Ecclesiological Investigations)Автор: Gesa Elsbeth Thiessen, Автор: Linda Hogan
Размер книги: 1.33 Mb
![]() Относительность и квантыАвтор: Эддингтон А.С.Категория: Физика, Квантовая механика
Размер книги: 2.25 Mb
Только что пользователи скачали эти книги:
![]() Красные уши. Советские профессиональные ламповые радиоприемники 1945-1970 ггАвтор: Шапкин В.И.
Размер книги: 13.78 Mb
![]() Мозг. Сборник статейАвтор: Д. Хьюбел, Автор: Т. Визель, Автор: Э. Кэндел, Автор: Э. Эвартс, Автор: У. НаутаКатегория: Биология, естествознанание
Размер книги: 1.19 Mb
![]() Крейсера Российского Императорского флота 1856-1917Автор: В.Я. КрестьяниновКатегория: Military
Размер книги: 44.79 Mb
![]() MTEL Middle School Humanities 50 Teacher Certification Test Prep Study Guide, 2nd Edition (XAM MTEL)Автор: Sharon WynneКатегория: Образование
Размер книги: 3.21 Mb
![]() Русская Православная Церковь в политике Советского государства в 1943-1948 гг.Автор: Васильева, Автор: Ольга Юрьевна
Размер книги: 8.91 Mb
|
|