Original: http://www.bracil.net/CSP/
Задоволення обмежень є проблемою рішення, яке включає в себе кінцеві рішення. Це повсюдно. Наприклад, транспортна компанія, можливо, доведеться доставити в різні місця в межах тимчасового вікна, визначених клієнтів. Авіакомпанія повинна планувати свої екіпажі, щоб служити різні рейси, що задовольняють обмеженням, визначеним керівництвом і профспілками. Добре відома 
головоломка Судоку є стримуючим фактором проблема задоволеності. AutoCollage (від Mirosoft Research) є прекрасним прикладом обмеження застосування до обробки зображень.
Обмеження щитові рішення від рішення проблем. Проте, при правильному використанні, обмеження можуть також направляти проблемні решателей для рішень. Це перегукується вчення в даосизмі: використовувати силу. Широкий спектр методів були застосовані до задоволення обмежень. Це включає в себе поширення обмежень, оптимізація, евристики, повний пошук і локальні методи пошуку, такі як керуватися локального пошуку, нейронної мережі і еволюційних обчислень.
Для короткого пояснення про те, що стримуючим фактором Проблема Задоволення см короткий підручник (на одній сторінці). Для трохи більше технічне введення см проблиск задоволення обмежень (14 сторінок). Для того, щоб дізнатися технологію в глибину, взяти мій модуль Задоволення обмежень для прийняття рішень.
Інші матеріали підручник можна знайти в СР4. Щоб дізнатися більше про поле, зверніться до Россі, ван Beek & Walsh (редактор), Довідник з програмування, Elsevier 2006, E.P.K. Цанг, основи задоволення обмежень, Academic Press, London, 1993, EC Freuder & A. Макворт (ред.), На основі обмежень Міркування, MIT Press, 1994, Р. Dechter, Обробка обмежень, Morgan Kaufmann, 2003 журнал ОБМЕЖЕНЬ і наукові статті в останні журналах і працях конференцій. Щоб дізнатися більше про інших дослідників, відвідати інші сайти в добре організованих обмежувальних архівів або наших Посилання на інші WWW сторінки.
Пов’язані дослідження: Обчислювальні фінанси і економіка
