Branching Programs and Binary Decision Diagrams: Theory and Applications (Monographs on Discrete Mathematics and Applications) by Ingo Wegener
English | Jan 1, 1987 | ISBN: 0898714583 | 419 Pages | PDF | 22 MB
English | Jan 1, 1987 | ISBN: 0898714583 | 419 Pages | PDF | 22 MB
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.