Introducing global constraints in CHIP

Mathematical and Computer Modelling - Tập 20 Số 12 - Trang 97-123 - 1994
Nicolas Beldiceanu1, Évelyne Contejean2
1COSYTEC, Parc Club Orsay-Université 4, rue Jean-Rostand, 91893 Orsay CEDEX, France#TAB#
2LRI, CNRS URA 410, Université Paris Sud Bâtiment 490, 91405 Orsay CEDEX, France#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo

Dincbas, 1988, The constraint logic programming language CHIP, Proc. Int. Conf. on Fifth Generation Computer Systems FGCS-88, 693

Aggoun, 1991, Overview of the CHIP compiler system, 8th International Conference on Logic Programming, 775

Jaffar, 1987, Constraint logic programming, Proc. 14th ACM Symp. on Principles of Programming Language

Jaffar, 1994, Constraint logic programming: A survey, Journal of Logic Programming, 19/20, 503, 10.1016/0743-1066(94)90033-7

Dechter, 1991, Temporal constraint networks, Artificial Intelligence, 49, 61, 10.1016/0004-3702(91)90006-6

Baker, 1974

Dyckhoff, 1990, A typology of cutting and packing problems, European Journal of Operational Research, 44, 145, 10.1016/0377-2217(90)90350-K

du Verdier, 1991, Un raisonnement spatial par propagation de contraintes, 297

Dejax, 1990, Les problèmes de tournées avec contraintes de fenêtres de temps, l'état de l'art, RAIRO Operations Research, 24, 217, 10.1051/ro/1990240302171

Dincbas, 1988, Solving the car-sequencing problem in constraint logic programming, European Conference on Artificial Intelligence (ECAI-88), 290

Coffin, 1990

Kung, 1985

Aggoun, 1993, Extending CHIP in order to solve complex scheduling and placement problems, Mathl. Comput. Modelling, 17, 57, 10.1016/0895-7177(93)90068-A

Dincbas, 1988, Applications of CHIP to industrial and engineering problems, First Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

Tokuyama, 1991, A dynamic algorithm for placing rectangles without overlapping, Journal of Information Processing, 14, 30

Billionnet, 1989, Les problèmes de placement dans les systèmes distribués, Technique et Science Informatiques, 8, 307

Li, 1990, On three-dimensional packing, SIAM J. Comput., 19, 847, 10.1137/0219059

Gehring, 1990, A computer-based heuristic for packing pooled shipment containers, European Journal of Operational Research, 44, 277, 10.1016/0377-2217(90)90363-G

Sutherland, 1989, Micropipelines, Communications of ACM, 32, 10.1145/63526.63532

Graham, 1989

Garey, 1979