1 Introduction
Neutrality is a form of potentially beneficial redundancy usually employed in a representation by means of an explicit genotype-to-phenotype mapping, where a larger number of genotypes map to a smaller number of phenotypes [13], [7]. BDDs have become a popular tool in the design and verification of some systems and they incorporate neutrality implicitly. This work investigates how this implicit neutrality can be exploited for the evolution of BDDs.