Models for Global Constraint Applications - Cork Constraint ...

More documents

Recommendations

Info

[23] Yannick Cras. Using constraint logic programming in services: A few short tales. In M. Bruynooghe, editor, International Logic Programming Symposium (ILPS), pages 3–16, 1994. [24] M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Fifth Generation Computer Systems (FGCS), pages 693–702, 1988. [25] M. Dincbas and H. Simonis. Apache - a constraint based, automated stand allocation system. In Proc. of Advanced Software Technology in Air Transport (ASTAIR’91), pages 267–282, London, UK, October 1991. Royal Aeronautical Society. [26] M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving large combinatorial problems in logic programming. Journal of Logic Programming, 8(1):75–93, 1990. [27] M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving the car sequencing problem in constraint logic programming. In European Conference on Artificial Intelligence (ECAI-88), Munich, W. Germany, August 1988. [28] M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, and T. Graf. Applications of CHIP to industrial and engineering problems. In First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, USA, June 1988. [29] A. Chun et al. Nurse rostering at the hospital authority of Hong-Kong. In AAAI Innovative Applications of Artificial Intelligence, 2000. [30] S. Darmoni et al. Horoplan: computer-assisted nurse scheduling using constraint-based programming. In Twelfth International Congress of the European Federation for Medical Informatics, Lisboa, Portugal, 1994. [31] F. Focacci and W. Nuijten. A constraint propagation algorithm for scheduling with sequence dependent setup times. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CP-AI-OR 2000, 2000. [32] William D. Harvey and Matthew L. Ginsberg. Limited discrepancy search. In IJCAI (1), pages 607–615, 1995. [33] Lars Hellsten, Gilles Pesant, and Peter van Beek. A domain consistency algorithm for the stretch constraint. In Wallace [72], pages 290–304. [34] H. Meyer aufm Hofe. ConPlan/SIEDAplan: Personnel assignment as a problem of hierarchical constraint satisfaction. In Practical Applications of Constraint Technology (PACT) 1997, London, UK, 1997. [35] Ugo Montanari and Francesca Rossi, editors. Principles and Practice of Constraint Programming - CP’95, First International Conference, CP’95, Cassis, France, September 19-22, 1995, Proceedings, volume 976 of Lecture Notes in Computer Science. Springer, 1995. [36] Wim Nuijten and Claude Le Pape. Constraint-based job shop scheduling with Ilog Scheduler. J. Heuristics, 3(4):271–286, 1998. 32
[37] H. Simonis P. Kay. Building industrial CHIP applications from reusable software components. In Practical Applications of Prolog (PAP) 1995, Paris, April 1995. [38] M. Perrett. Using constraint logic programming techniques in container port planning. ICL Technical Journal, pages 537–545, May 1991. [39] Gilles Pesant. A regular language membership constraint for finite sequences of variables. In Wallace [72], pages 482–495. [40] Gilles Pesant and Jean-Charles Régin. Spread: A balancing constraint based on statistics. In Peter van Beek, editor, CP, volume 3709 of Lecture Notes in Computer Science, pages 460–474. Springer, 2005. [41] Jean-Francois Puget. Applications of constraint programming. In Montanari and Rossi [35], pages 647–650. [42] Claude-Guy Quimper, Alejandro López-Ortiz, Peter van Beek, and Alexander Golynski. Improved algorithms for the global cardinality constraint. In Wallace [72], pages 542–556. [43] J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In AAAI, pages 362–367, 1994. [44] Jean-Charles Régin. Generalized arc consistency for global cardinality constraint. In AAAI/IAAI, Vol. 1, pages 209–215, 1996. [45] Jean-Charles Régin and Carla P. Gomes. The cardinality matrix constraint. In Wallace [72], pages 572–587. [46] Jean-Charles Régin and Jean-Francois Puget. A filtering algorithm for global sequencing constraints. In Smolka [65], pages 32–46. [47] Jean-Charles Régin and Michel Rueher, editors. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, volume 3011 of Lecture Notes in Computer Science. Springer, 2004. [48] Cristina Ribeiro and Maria Antónia Carravilla. A global constraint for nesting problems. In Régin and Rueher [47], pages 256–270. [49] L. Ros, T. Creemers, E. Tourouta, and J. Riera. A global constraint model for integrated routeing and scheduling on a transmission network. In 7th International Conference on Information Networks, Systems and Technologies, Minsk, October 2001. [50] Francesca Rossi, editor. Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, volume 2833 of Lecture Notes in Computer Science. Springer, 2003. [51] H. Simonis. Application development with the CHIP system. In G. Kuper and M. Wallace, editors, Constraint Databases and Applications. Proc Contessa Workshop, number 1034 in LNCS, Friedrichshafen, Germany, September 1995. Springer Verlag. 33
Page 1 and 2: Models for Global Constraint Applic
Page 3 and 4: 1 Introduction Constraint programmi
Page 5 and 6: cost or passenger movements. A typi
Page 7 and 8: y5 {1,3} y4 {1,2} y3 1..4 y2 1..4 y
Page 9 and 10: 2.3.3 Moving planes Our model so fa
Page 11 and 12: installed in a number of mills in t
Page 13 and 14: loading and bagging stations. The p
Page 15 and 16: The first task on machine k is give
Page 17 and 18: Figure 5: Graph Structure 17
Page 19 and 20: 3.3.2 Frozen Schedule The schedulin
Page 21 and 22: Strategy Day b c d e f g h i j k 11
Page 23 and 24: such constraints will not perform m
Page 25 and 26: constraint [33] and a pattern const
Page 27 and 28: 4.4 User Specified Constraints We h
Page 29 and 30: discussed here. It looks at a one y
Page 31: [9] G. Baues, P. Kay, and P. Charli
Page 35: [64] Helmut Simonis and Trijntje Co

Models for Global Constraint Applications - Cork Constraint ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?