задача удовлетворения ограничений

Сидоров В.А. Система программирования в ограничениях Nemo // Системная информатика. — . — № 20.  — С. 47-70
Сидоров В.А. Сравнение способов представления неточных значений в методе недоопределённых вычислений // Системная информатика. — . — № 6.  — С. 53-66
Подписаться на задача удовлетворения ограничений