"Implementation and use of SPFDs in optimizing Boolean networks."

Subarnarekha Sinha, Robert K. Brayton (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics