P, NP and Proof Complexity HD

28.04.2021
Sasha Razborov (University of Chicago)https://simons.berkeley.edu/talks/sat-and-foundations-mathematicsTheoretical Foundations of SAT/SMT Solving...

Похожие видео