Computer Science Club

Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Алгоритмы для задачи выполнимости
Эффективные алгоритмы

Что:	Лекция
Когда:	Воскресенье, 02 декабря 2007, 20:00–21:30
Где:	ПОМИ РАН
Слайды:	efficientalgorithms_lecture_021207.pdf

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