Favier, A.; de Givry, S.; Jégou, P.
(Управляющие системы и машины, 2011)
Рассмотрена проблема подсчета количества решений задачи совместимости ограничений (Constraint Satisfaction Problem). Для ее решения был адаптирован метод обратного прослеживания с ацикличным представлением графа ограничений ...