SOCRATES: a system for automatically synthesizing and optimizing combinational logic.

David Gregory, Karen A. Bartlett, Aart J. de Geus, Gary D. Hachtel

Browse the full DAC paper archive.