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