P, NP and Proof Complexity

preview_player
Показать описание
Sasha Razborov (University of Chicago)
Theoretical Foundations of SAT/SMT Solving
Рекомендации по теме