Effect of Boolean Min-terms on the Complexity of ROBDDs.

Published in: International Conference on Computational Intelligence (2004)