Локальные элиминационные алгоритмы для задач удовлетворения ограничений

Рассмотрены локальные элиминационные алгоритмы для решения некоторых задач искусственного интеллекта, таких как задача удовлетворения ограничениям, задачи SAT, задачи раскраски графа.