Программирование с ограничениями

Вики

Тестовые функции для оптимизации

Тестовые функции для оптимизации Обзор статьи Статья представляет собой обзор статьи о многокритериальной оптимизации с использованием эволюционных алгоритмов.  В статье […]

Вики

Гекод

Код Gecode Обзор Gecode Gecode – это программная библиотека для удовлетворения ограничений, написанная на C++ и распространяемая под лицензией MIT. 

Вики

Программирование логики ограничений

Программирование логики ограничений Основы логики ограничений Логика ограничений – это расширение логики первого порядка, позволяющее выражать ограничения на переменные.  Ограничения

Вики

Constraint programming – Wikipedia

Программирование ограничений Программирование ограничений – это метод решения задач, основанный на ограничениях и переменных.  Задачи удовлетворения ограничений (CSP) включают поиск

Прокрутить вверх