Статья

"Нахождение количества решений в задаче выполнимости. Точный и статистический подходы."