Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
On the complexity of branching programs and decision trees for clique functions
Journal of the ACM (JACM)
Binary Decision Tree Test Functions
IEEE Transactions on Computers
Efficient OBDD-based boolean manipulation in CAD beyond current limits
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Formal Methods in System Design
Communication complexity and parallel computing
Communication complexity and parallel computing
Communication complexity
Linear sifting of decision diagrams
DAC '97 Proceedings of the 34th annual Design Automation Conference
Neither reading few bits twice nor reading illegally helps much
Discrete Applied Mathematics
Linear codes are hard for oblivious read-once parity branching programs
Information Processing Letters
An Exponential Lower Bound for One-Time-Only Branching Programs
Proceedings of the Mathematical Foundations of Computer Science 1984
On O versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Lower Bounds for Deterministic and Nondeterministic Branching Programs
FCT '91 Proceedings of the 8th International Symposium on Fundamentals of Computation Theory
Linear Transformations and Exact Minimization of BDDs
GLS '98 Proceedings of the Great Lakes Symposium on VLSI '98
| Hi-index | 0.01 |
Linear Transformed OBDDs (LTOBDDs)h ave been suggested as a generalization of OBDDs for the representation and manipulation of Boolean functions. Instead of variables as in the case of OBDDs parities of variables may be tested at the nodes of an LTOBDD. By this extension it is possible to represent functions in polynomial size that do not have polynomial size OBDDs, e.g., the characteristic functions of linear codes. In this paper lower bound methods for LTOBDDs and some generalizations of LTOBDDs are presented and applied to explicitly defined functions. By the lower bound results it is possible to compare the set of functions with polynomial size LTOBDDs and their generalizations with the set of functions with polynomial size representations for many other restrictions of BDDs.