BDD-based Conjunctive Decomposition Using a Genetic Algorithm and Dependent Variable Affinity

doi 10.1109/pacrim.2005.1517279
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE