共 50 条
- [21] Constraint solving on terms [J]. CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 47 - 103
- [22] AUTOMATED PARAMETRIC DESIGN SYNTHESIS USING GRAPH GRAMMARS AND CONSTRAINT SOLVING [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, VOL 7, 2012, : 517 - +
- [24] Applying generic constraint solving techniques in providing insights into engineering design [J]. DESIGN METHODS FOR PERFORMANCE AND SUSTAINABILITY, 2001, : 123 - 130
- [25] Constraint solving for interpolation [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2007, 4349 : 346 - +
- [27] Constraint solving for interpolation [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (11) : 1212 - 1233
- [28] Combining constraint solving [J]. CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 104 - 158
- [29] Interactive Preference Incorporation in Evolutionary Multi-objective Engineering Design [J]. 2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015), 2015, : 1005 - 1012
- [30] Preference-based combinatorial design problem solving in a collaborative environment [J]. TOOLS AND METHODS OF COMPETITIVE ENGINEERING VOLS 1 AND 2, 2004, : 903 - 911