AND-Decomposition of Boolean Polynomials with Prescribed Shared Variables

摘要

In this article, we present an algorithm for conjunctive bi-decomposition of boolean polynomials where decomposition components share only prescribed variables. It is based on the polynomial-time algorithm of disjoint decomposition developed before. Some examples and evaluation of the algorithm are given.