Title: Exploiting constraints in design synthesis
Subjects: Computer-aided design