Gelle, E.Faltings, B. V.Smith, I.F.C.2006-12-132006-12-132006-12-13200010.1007/978-94-011-4154-3_16https://infoscience.epfl.ch/handle/20.500.14299/238274WOS:000089944200016Structural Engineering Design Support by Constraint Satisfactiontext::conference output::conference proceedings::conference paper