Optimization strategies in symbolic compaction.

Published in: Synthesis for Control Dominated Circuits (1992)