"An exact minimizer for Boolean relations."

Robert K. Brayton, Fabio Somenzi (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics