Изменения

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

3CNFSAT

124 байта добавлено, 16:34, 15 марта 2010
#REDIRECT[[NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ]]
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/215»

Навигация