Труды КНЦ вып. 11 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ) вып. 8/2020 (11)

Таблица 18. Реализация ограничения table в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения table extensional Table table Заключение Роль концепции глобальных ограничений при моделировании и решении задач в рамках парадигмы Constraint Programming трудно переоценить. Процедуры, реализующие алгоритмы фильтрации глобальных ограничений, являются теми элементарными “кирпичиками”, из которых строится модель конкретной прикладной задачи. Алгоритмы фильтрации глобальных ограничений, как правило, подкреплены соответствующими развитыми теориями, позволяющими организовывать высокопроизводительные вычисления. Выбор той или иной программной библиотеки, прежде всего, обуславливается тем, насколько набор и способ реализации глобальных ограничений соответствует уровню современных исследований в данной области. Литература 1. Regin, J. Global Constraints: A Survey. / J. Regin // Hybrid Optimization. Springer Optimization and Its Applications. - 2011. - vol.45. - pp. 63-134. 2. Rossi, F. Handbook of constraint programming / F. Rossi, P. van Beek, T. Walsh. - Boston, MA: Elsevier, 2006. - 955 p. 3. Beldiceanu, N. Introducing Global Constraints in CHIP / N. Beldiceanu, E. Contejean // Mathematical and Computer Modelling. - 1994. - vol.2. - iss.12. - pp. 97-123. 4. Carlsson, M. SICStus Prolog User's Manual / M. Carlsson // RISE Research Institutes of Sweden AB 17 November 2020 Available at http://www.sics.se/sicstus/. 5. Oplobedu, A. CHARME: Un langage industriel de programmation par contraintes, illustre par une application chez Renault / A. Oplobedu, J. Marcovitch, Y. Tourbier // Proceedings of the Ninth International Workshop on Expert Systems and their Applications. - 1989. - pp. 55-70. 6. Lauriere, J.-L. Language and a Program for Stating and Solving Combinatorial Problems / J.-L. Lauriere // Artificial Intelligence. - 1978. - vol. 10. - iss. 1. - P. 29-127. 7. Hebrard, E. A Soft Constraint of Equality: Complexity and Approximability / E. Hebrard, B. O'Sullivan, I. Razgon // Principles and Practice of Constraint Programming. CP 2008. Lecture Notes in Computer Science. - 2008. - vol.5202. - pp. 358-371. 8. Pachet, F. Automatic Generation of Music Programs / F. Pachet, P. Roy // Principles and Practice of Constraint Programming. CP 1999. Lecture Notes in Computer Science. - 1999. - vol.1713. - pp. 331-345. 9. Older, W. Getting to the Real Problem: Experience with BNR Prolog in OR / W. J. Older, G. M. Swinkels, M. H. van Emden // PAP 1995, the 3rd International Conference on the Practical Application of Prolog. - 1995. - pp. 465-478. 10.Aggoun, A. Extending CHIP in order to Solve Complex Scheduling and Placement Problems / A. Aggoun, N. Beldiceanu // Mathematical and Computer Modelling. - 1993. - vol.17. - iss.7. - pp. 57-73. 11.Carlier, J. The one-machine sequencing problem / J. Carlier // European Journal of Operational Research. - 1982. - vol. 11. - iss.1. - pp. 42-47. 82