Alexander Razborov
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
lecture Propositional Proof Complexity as author at 8TH EUROPEAN CONGRESS OF MATHEMATICS, Portorož 2021, |