共 50 条
- [21] Speeding up the Constraint-Based Method in Difference Logic THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 284 - 301
- [22] Active Learning Method for Constraint-Based Clustering Algorithms WEB-AGE INFORMATION MANAGEMENT, PT II, 2016, 9659 : 319 - 329
- [24] A Constraint-Based Method for Project Scheduling with Time Windows Journal of Heuristics, 2002, 8 : 109 - 136
- [26] Constraint-based lexica LEXICON DEVELOPMENT FOR SPEECH AND LANGUAGE PROCESSING, 2000, 12 : 43 - +
- [28] Kinematic Analysis of Mechanisms Based on Parametric Polynomial System: Basic Concept of a Method Using Grobner Cover and Its Application to Planar Mechanisms JOURNAL OF MECHANISMS AND ROBOTICS-TRANSACTIONS OF THE ASME, 2019, 11 (02):
- [30] Constraint-Based Refactoring ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2018, 40 (01):