共 50 条
- [21] Constraint-based reachability ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (107): : 25 - 43
- [23] Constraint-based scheduling PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 3231 - 3244
- [25] Constraint-based lexica LEXICON DEVELOPMENT FOR SPEECH AND LANGUAGE PROCESSING, 2000, 12 : 43 - +
- [26] Constraint-Based Refactoring ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2018, 40 (01):
- [27] Embedded System Verification Through Constraint-Based Scheduling RAPID SYSTEM PROTOTYPING: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE (RSP 2013), 2013, : 73 - 79
- [28] Constraint-Based Timetabling System for the German University in Cairo APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, 2009, 5437 : 69 - 81
- [29] A constraint-based inference system for satisfying design constraints KSME INTERNATIONAL JOURNAL, 2000, 14 (06): : 655 - 665
- [30] A lean constraint-based system to support intelligent tutoring 2014 14TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT), 2014, : 52 - 53