Страницы, ссылающиеся на «SAT»
← SAT
Следующие страницы ссылаются на «SAT»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Теорема Ладнера (← ссылки)
- NP-полнота задачи о выполнимости булевой формулы в форме КНФ (← ссылки)
- Теорема Валианта-Вазирани (← ссылки)
- USAT (← ссылки)