Don't cares and global flow analysis of Boolean networks.

Robert K. Brayton, Ellen M. Sentovich, Fabio Somenzi

Browse the full ICCAD paper archive.