P, NP and Proof Complexity
Автор: Simons Institute for the Theory of Computing
Загружено: 2021-04-28
Просмотров: 905
Sasha Razborov (University of Chicago)
https://simons.berkeley.edu/talks/sat...
Theoretical Foundations of SAT/SMT Solving
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: