共 50 条
- [21] Coinductive Constraint Logic Programming [J]. FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259
- [23] Sets and constraint logic programming [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (05): : 861 - 931
- [24] Logic, optimization, and constraint programming [J]. INFORMS JOURNAL ON COMPUTING, 2002, 14 (04) : 295 - 321
- [25] HIERARCHICAL CONSTRAINT LOGIC PROGRAMMING [J]. JOURNAL OF LOGIC PROGRAMMING, 1993, 16 (3-4): : 277 - 318
- [26] DISPDESK: A logistic constraint programming system for construction machinery [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS (SOLI 2006), PROCEEDINGS, 2006, : 376 - +
- [27] Temporal logic and annotated constraint logic programming [J]. EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 58 - 68
- [28] On integrating Constraint Logic Programming and Integer Programming [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCI I, 2002, : 140 - 145
- [29] Collaborative constraint functional logic programming system in an open environment [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (01): : 63 - 70
- [30] Mobile Robot for Telepresence Applications: Design, Construction, and Programming [J]. 2021 XIX WORKSHOP ON INFORMATION PROCESSING AND CONTROL (RPIC), 2021,