An exact minimizer for Boolean relations.

Robert K. Brayton, Fabio Somenzi

Browse the full ICCAD paper archive.