Теории выполнимости по модулю
Теории выполнимости по модулю Основы SMT SMT (Satisfiability Modulo Theories) – это метод решения задач, основанный на теории выполнимости. SMT-решатели […]
Вики
Программирование ограничений
Вики
Программирование ограничений
Программирование ограничений Основы программирования с ограничениями Программирование с ограничениями – это метод решения задач, основанный на логике и ограничениях. Ограничения
Вики
Удовлетворение ограничений
Удовлетворение ограничений Определение и история Удовлетворение ограничений – это проблема нахождения значений переменных, удовлетворяющих ограничениям. Проблема возникла в 1970-х годах
Вики
Проблема с расписанием работы медсестры
Проблема с расписанием работы медсестры Определение и сложность задачи Задача составления расписания медсестер (NSP) – это поиск оптимального распределения медсестер
Вики
JaCoP (решатель)
Якоп (решатель) Обзор JaCoP JaCoP – это библиотека для решения задач с ограничениями, написанная на Java. Она предоставляет интерфейс для
Вики
Constraint satisfaction problem – Wikipedia
Проблема удовлетворения ограничений CSP – это класс задач, в которых необходимо найти набор значений переменных, удовлетворяющих ограничениям. Задачи CSP могут