Efficient solution of systems of Boolean equations

This paper describes an algorithm for the efficient solu-tion of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition op-eration of Boolean functions represented by BDD’s can be performed in a very efficient manner. Thus, the algorithm tries to eliminate as many variables and equations as pos-sible through function composition. When the system ca…