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

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

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

Описание

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