A
Alexander A. Razborov
Researcher at University of Chicago
Publications - 146
Citations - 7698
Alexander A. Razborov is an academic researcher from University of Chicago. The author has contributed to research in topics: Upper and lower bounds & Proof complexity. The author has an hindex of 45, co-authored 144 publications receiving 7233 citations. Previous affiliations of Alexander A. Razborov include Toyota Technological Institute at Chicago & Toyota Technological Institute.
Papers
More filters
Journal ArticleDOI
A New Kind of Tradeoffs in Propositional Proof Complexity
TL;DR: This work shows that for any parameter k = k(n), there are unsatisfiable k-CNFs that possess refutations of width O(k), but such that any tree-like refutation must necessarily have doubly exponential size exp (nΩ(k)).
Journal ArticleDOI
Real Advantage
TL;DR: It is proved that real-valued polynomials of degree 1 2 lg2 lg 2 n have correlation with parity at most zero, and such a result is false for modular and threshold polynmials.
Journal ArticleDOI
Parameterized Bounded-Depth Frege Is not Optimal
TL;DR: In this article, it was shown that the pigeonhole principle requires proofs of size nΩ(k) in parameterized bounded-depth Frege, and, as a special case, in dag-like Parameterized Resolution.
Journal ArticleDOI
Non-three-colorable common graphs exist
TL;DR: The 5-wheel is a common graph as discussed by the authors, which is the first common graph that is not three-colorable, and the complete graph of order four is not common.
Proceedings ArticleDOI
Resolution lower bounds for perfect matching principles
TL;DR: The results relativize, in a natural way, to more general principle M(U|H) asserting that H contains a matching covering all vertices in U /spl sube/ V(H).