Александр Александрович Разборов российский математик, член-корреспондент РАН
Razborov, Aleksandr Aleksandrovič (1963- ).
Razborov, A. A
VIAF ID: 311393238 (Personal)
Permalink: http://viaf.org/viaf/311393238
Preferred Forms
4xx's: Alternate Name Forms (20)
Works
Title | Sources |
---|---|
Andrei Nikolaevich Kolmogorov (1903-1987) | |
Complexity theory and the theory of algorithms as developed in the CIS | |
Diameter of Polyhedra: Limits of Abstraction | |
ITRC lecture series in complexity. | |
Lower bounds for the polynomial calculus | |
Lower bounds of the complexity of symmetric boolean functions of contact-rectifier circuits | |
Lower bounds on monotone complexity of the logical permanent | |
Lower bounds on the size of bounded depth circuits over a complete basis with logical addition | |
Majority gates vs. general weighted threshold gates | |
Natural Proofs | |
Non-Three-Colourable Common Graphs Exist | |
On CDCL-Based Proof Systems with the Ordered Decision Strategy | |
On the method of approximations | |
On the number of pentagons in triangle-free graphs | |
On the shrinkage exponent for read-once formulae | |
On the Width of Semialgebraic Proofs and Algorithms | |
Parameterized Bounded-Depth Frege Is not Optimal | |
Propositional proof complexity | |
Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus |