Alexander Razborov

Toyota Technological Institute at Chicago

Affiliations

Toyota Technological Institute at Chicago

NoneAlexander Razborov is currently serving as a Toyota Technological Institute At Chicago faculty at Toyota Technological Institute At Chicago.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Alexander Razborov

Toyota Technological Institute at Chicago

You can click a keyword to filter the displayed items

computer science applied mathematics computational complexity theoretical computer science combinatorics graph theory mathematics computability theory proof complexity formal methods computational complexity theory machine learning theory of computation logic in computer science proof theory group theory combinatorial theory automated reasoning extremal graph theory proof system propositional logic systems engineering complexity theory approximation methods analytic number theory polynomial calculus pseudorandom generators propositional proof complexity free groups information technology numerical algorithms scientific data scientific computing spectral theory combinatorial optimization mathematical optimization geometric topology discrete algorithms automated deduction approximate reasoning graph analysis information theory quantum communications constructive approximation estimation theory descriptional complexity information processing (psychology) lower bounds algorithm engineering analysis of algorithms algorithm design algorithm configuration circuit analysis satisfiability private information retrieval topological graph theory structural graph theory topological combinatorics automated proof logical reasoning computational logic linear logic minimal density symmetric predicates flag algebras circuit size algebraic systems modular counting boolean complexity non-binomial case polynomial calculus resolution k-dnf resolution distributional complexity resolution lower bounds

Notable Scholarly Works

Notable Federal Grants

Collaborators

Proof Complexity and Beyond. Oberwolfach Reports (2024)

Natural Quasirandomness Properties. Random Structures and Algorithms (2023)

Leonardo N. CoreglianoAlexander A. Razborov

natural quasirandomness propertiesapplied mathematics

Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems. Journal of Computer and System Sciences (2023)

Theodoros PapamakariosAlexander Razborov

propositional proof systemsinformaticsspace characterizationscomplexity measuressize-space trade-offscomputer science

An Extremal Problem Motivated by Triangle-Free Strongly Regular Graphs. Journal of Combinatorial Theory Series B (2022)

Alexander Razborov

combinatoricsextremal graph theorygraph theoryextremal problemcombinatorial theoryregular graphs

Biregularity in Sidorenko's Conjecture. arXiv (Cornell University) (2021)

Leonardo N. CoreglianoAlexander A. Razborov

graph theorycombinatoricsnumber theoryapplied mathematics

Clique is Hard on Average for Regular Resolution. Journal of the ACM (2021)

Еще раз о разреженных вершинных полуграфах в графах без Треугольников. Математический сборник (2021)

Alexander Alexandrovich Razborov

historypolitical history

On Cdcl-Based Proof Systems With the Ordered Decision Strategy. Lecture notes in computer science (2020)

theory of computationverificationautomated prooflogic in computer scienceformal methodstheoretical computer scienceproof complexityautomated deductionproof theorydiscrete algorithmsformal verificationproof systemcomputer scienceautomated reasoning

Семантические пределы плотных комбинаторных Объектов. Успехи математических наук (2020)

slavic languages

On Space and Depth in Resolution. Computational Complexity (2017)