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

Изображения страниц:
1 2 3 4


Назад
Следующий документ (Письмо на бланке)
Предыдущий документ (Письмо)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016