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