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

Лекция 5. CDCL алгоритмы
Сложность пропозициональных доказательств

Что: Лекция
Когда: Вторник, 10 октября 2017, 18:30–20:00
Где: ПОМИ РАН

Описание

CDCL алгоритмы и резолюционные доказательства.

Computer Science Club, 2007–24 гг.