Search filters

List of works by Alexander Razborov

Andrei Nikolaevich Kolmogorov (1903-1987)

Diameter of Polyhedra: Limits of Abstraction

scientific article published in 2010

Lower bounds for the polynomial calculus

Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits

scientific article (publication date: December 1990)

Lower bounds on monotone complexity of the logical permanent

article

Lower bounds on the size of bounded depth circuits over a complete basis with logical addition

scientific article (publication date: April 1987)

Majority gates vs. general weighted threshold gates

Natural Proofs

Natural proofs

Non-Three-Colourable Common Graphs Exist

article published in 2012

On CDCL-Based Proof Systems with the Ordered Decision Strategy

scientific article published in 2022

On the Width of Semialgebraic Proofs and Algorithms

scientific article published in 2017

On the method of approximations

On the number of pentagons in triangle-free graphs

On the shrinkage exponent for read-once formulae

Parameterized Bounded-Depth Frege Is Not Optimal ⬇️

Parameterized Bounded-Depth Frege Is not Optimal ⬇️

Propositional proof complexity

Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus

scientific article published in 2002

Paulina is supported by:

About Paulina

Help