共 50 条
- [42] On integrating Constraint Logic Programming and Integer Programming 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCI I, 2002, : 140 - 145
- [43] Workforce Scheduling Linear Programming Formulation IFAC PAPERSONLINE, 2018, 51 (11): : 264 - 269
- [44] Polynomial-time learning in logic programming and constraint logic programming INDUCTIVE LOGIC PROGRAMMING, 1997, 1314 : 105 - 126
- [46] Cooperative constraint functional logic programming INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 214 - 220
- [48] CONSTRAINT LOGIC PROGRAMMING AND OPTION TRADING IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1987, 2 (03): : 42 - 50
- [49] Integrating answer set programming and constraint logic programming Annals of Mathematics and Artificial Intelligence, 2008, 53 : 251 - 287
- [50] Quantifier elimination for constraint logic programming COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS, 2005, 3718 : 416 - 430