Lower bounds for linearly transformed OBDDs and FBDDs
Journal of Computer and System Sciences
Lower Bounds for Linear Transformed OBDDs and FBDDs (Extende Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 14.98 |
A class of multivariable logic functions which are suitable for use as binary decision tree node test functions is considered. These functions can be regarded as a natural extension of the polarity test normally used. The properties of these functions are discussed. A method for obtaining a reduced but not necessarily optimal tree is presented.