| Что: | Лекция |
| Когда: | Воскресенье, 08 ноября 2009, 10:35–12:05 |
| Где: | ПОМИ РАН |
| Слайды: | np_algorithms_lecture_081109.pdf |
Оценка времени работы алгоритмов расщепления, правила упрощения, простой $ 1.415^K $, где $ K $ - количество клозов, алгоритм, основанный на методе расщепления, для задачи выполнимости, автоматический анализ времени работы.
