Exploiting constraints in design synthesis (1986)

by J Finger