Espresso is a program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits

WWW: http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/
