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