共 50 条
- [41] Application of constraint-based heuristics in collaborative design [J]. 38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 395 - 400
- [42] Generic naming in generative, constraint-based design [J]. COMPUTER-AIDED DESIGN, 1996, 28 (01) : 17 - 26
- [43] ENGINEERING DESIGN THROUGH CONSTRAINT-BASED REASONING [J]. AI MAGAZINE, 1993, 14 (03) : 100 - 101
- [44] Partially defined constraints in constraint-based design [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2006, 20 (04): : 297 - 311
- [45] BDD vs. constraint-based model checking: An experimental evaluation for asynchronous concurrent systems [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 441 - 455
- [49] Constraint-Based Design of Embedded Intelligent Systems [J]. Constraints, 1997, 2 (1) : 83 - 86
- [50] Constraint-based conflict detection in collaborative design [J]. Zhongguo Jixie Gongcheng/China Mechanical Engineering, 2002, 13 (18):