| What: | Lecture |
| When: | Sunday, 08 November 2009, 10:35–12:05 |
| Where: | ПОМИ РАН |
| Slides: | np_algorithms_lecture_081109.pdf |
Оценка времени работы алгоритмов расщепления, правила упрощения, простой \( 1.415^K \), где \( K \) - количество клозов, алгоритм, основанный на методе расщепления, для задачи выполнимости, автоматический анализ времени работы.
