We present an algorithm that produces optimal plans to evaluate arbitrary Boolean expressions possibly containing conjunctions and disjunctions. The complexity of our algorithm is O(n3n), where n is the number of simple predicates in the Boolean expression. This complexity is far lower than that of Reinwald and Soland's algorithm (O(22(n))). This lower complexity allows us to optimize Boolean expressions with up to 16 predicates in a reasonable time. Further, opposed to many existing approaches, our algorithm fulfills all requirements necessary in the context of main memory database systems. We then use this algorithm to (1) determine the optimization potential inherent in Boolean expressions and (2) evaluate the plan quality of two heurist...
In the context of automatic test generation, the use of propositional satisfiability (SAT) and Satis...
We present the semantic foundations for computing the least fix-point semantics of definite logic pr...
[[abstract]]This paper presents a very efficient Boolean logic optimization method. The boolean opti...
We present an algorithm that produces optimal plans to evaluate arbitrary Boolean expressions possib...
With the ubiquity of main memory databases which are increasingly replacing the old disk-oriented da...
Any Boolean expressions may be converted into positive-form, which has only union and intersection o...
An efficient method of finding optimal (OBDD) of an n variable Boolean function is presented that of...
We present a method to compute the bdd for an arbitrary Boolean expression, where the operands are t...
The reported study has established the possibility of improving the productivity of an algorithm for...
AbstractThis paper presents a new data structure called boolean expression diagrams (BEDs) for repre...
A synthesis of logical circuits, comprising functional combination blocks of very large scale integr...
A probabilistic boolean expression (PBE) consists of a boolean expression over a set of boolean vari...
This paper reports a research that established the possibility of increasing the effectiveness of th...
Abstract. Advances in SAT solver technology have enabled many automated analysis and reasoning tools...
Designing a logic circuit from the scratch requires its description in logical expression, (e.g. sum...
In the context of automatic test generation, the use of propositional satisfiability (SAT) and Satis...
We present the semantic foundations for computing the least fix-point semantics of definite logic pr...
[[abstract]]This paper presents a very efficient Boolean logic optimization method. The boolean opti...
We present an algorithm that produces optimal plans to evaluate arbitrary Boolean expressions possib...
With the ubiquity of main memory databases which are increasingly replacing the old disk-oriented da...
Any Boolean expressions may be converted into positive-form, which has only union and intersection o...
An efficient method of finding optimal (OBDD) of an n variable Boolean function is presented that of...
We present a method to compute the bdd for an arbitrary Boolean expression, where the operands are t...
The reported study has established the possibility of improving the productivity of an algorithm for...
AbstractThis paper presents a new data structure called boolean expression diagrams (BEDs) for repre...
A synthesis of logical circuits, comprising functional combination blocks of very large scale integr...
A probabilistic boolean expression (PBE) consists of a boolean expression over a set of boolean vari...
This paper reports a research that established the possibility of increasing the effectiveness of th...
Abstract. Advances in SAT solver technology have enabled many automated analysis and reasoning tools...
Designing a logic circuit from the scratch requires its description in logical expression, (e.g. sum...
In the context of automatic test generation, the use of propositional satisfiability (SAT) and Satis...
We present the semantic foundations for computing the least fix-point semantics of definite logic pr...
[[abstract]]This paper presents a very efficient Boolean logic optimization method. The boolean opti...