|
libcats.org
Branching programs and binary decision diagrams: theory and applicationsIngo 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
Только что пользователи скачали эти книги:
![]() Дар Атиши для путешествующих внутрьАвтор: Раджниш Бхагаван ШриКатегория: Эзотерика, Самосовершенствование
Размер книги: 82 Kb
![]() Возможности использования электропроводного бетона (бетэла) в гражданском строительстве. Обзор подготовлен Зональным научно-исследовательским институтом типового и экспериментального проектирования жилых и общественных зданий (СибЗНИИЭП).Автор: Врублевский Л.Е., Автор: и др.Категория: Строительство. Архитектура
Размер книги: 552 Kb
![]() The American Heritage Dictionary of the English LanguageАвтор: Editors of the American Heritage DictionariesКатегория: Иностранные языки
Размер книги: 50.50 Mb
![]() Handbook of Software Quality AssuranceАвтор: G. Gordon SchulmeyerКатегория: Computer Science, Software Engineering
Размер книги: 1.88 Mb
![]() Margo - Как вырастить новые волосы. Где есть волосы там есть надеждаАвтор: Margo
Размер книги: 312 Kb
![]() СЛОВО как физиологический и лечебный факторАвтор: Платонов К.И.Категория: КНИГИ ПСИХОЛОГИЯ
Размер книги: 61.62 Mb
![]() Remarks on Popper's Note on Content and Degree of ConfirmationАвтор: Carnap RudolfКатегория: fiction
Размер книги: 105 Kb
|
|