The evolution of ROBDDs: preliminary results and a first analysis

In this paper, we describe and analyze a number of evolutionary experiments concerning reduced ordered binary decision diagrams. These are important representations of Boolean functions for both circuit design and verification, and evolvable hardware. We experiment with the use of cube transformations in the genetic learning of unknown Boolean functions using ROBDDs.