Изменения

Перейти к: навигация, поиск

NP-полнота задачи о выполнимости булевой формулы в форме КНФ

24 байта добавлено, 13:47, 17 марта 2010
Новая страница: «=Определение=»
=Определение=
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/280»

Навигация