Requirements-Driven Design Computations in Next-Generation Cad
                        Year: 2007
                        Author: Bapat, Vikram; Bettig, Bernhard; Summers, Joshua D.
                        Series: ICED
                        Section: Computation
                        Page(s): full paper no. DS42_P_588
                        
Keywords: Computer-aided design, automated design synthesis, requirements satisfaction, constraint satisfaction, design exemplar technology