Статья "Нахождение количества решений в задаче выполнимости. Точный и статистический подходы." Дата: 28.10.1987 Названия статей: Finding the Number of Solutions of a Satisfiability Problem. An Exact and a statistical approach. Оригинальный язык документа: английский, французский Авторы: Жан-Клод Симон, О. Дюбуа Организации: Университет Пьера и Марии Кюри