Group items tagged

Видеолекация в Сколково про программирование в ограничениях (constraint programming)

Справочник по глобальным ограничениям, которые можно использовать в моделях для программирования в ограничениях (constraint programming). "The catalogue presents a list of 354 global constraints issued from the literature in constraint programming and from popular constraint systems. The semantic of each constraint is given together with some typical usage and filtering algorithms, and with reformulations in terms of graph properties, automata, and/or logical formulae. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms. The catalogue is periodically updated by Nicolas Beldiceanu, Mats Carlsson and Jean-Xavier Rampon. Feel free to contact the first author for any questions about the content of the catalogue."

Вводная лекция о программировании в ограничениях (Constraint Programming)