Computer Science Club

City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Алгоритмы для задачи выполнимости
Efficient algorithms

What:	Lecture
When:	Sunday, 02 December 2007, 20:00–21:30
Where:	ПОМИ РАН
Slides:	efficientalgorithms_lecture_021207.pdf

Расщепляющие алгоритмы (DPLL, PPSZ), случайные блуждания.