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

Лекция 5. CDCL алгоритмы
Propositional proof complexity

What: Lecture
When: Tuesday, 10 October 2017, 18:30–20:00
Where: ПОМИ РАН

Description

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

Computer Science Club, 2007–24 гг.