Exploiting constraints in design synthesis. - Joseph Jeffrey Finger (1987)