Alexander Razborov - PDFSEARCH.IO - Document Search Engine

Alexander Razborov
Results: 35

#	Item
1	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2009-03-27 12:21:11
2	Propositional Proof Complexity Instructor: Alexander Razborov, University of Chicago. Course Homepage: http://people.cs.uchicago.edu/~razborov/teaching/winter09.html Winter, 2009 and Winter, 2014 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-04 16:32:05
3	Feasible Proofs and Computations: Partnership and Fusion Alexander A. Razborov Institute for Advanced Study School of Mathematics Princeton, NJ 08540, USA Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2016-04-10 22:31:57
4	ON SPACE AND DEPTH IN RESOLUTION Alexander Razborov September 13, 2017 Abstract. We show that the total space in resolution, as well as in Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2017-09-13 17:59:44
5	Resolution Lower Bounds for Perfect Matching Principles Alexander A. Razborov 1 Institute for Advanced Study, Princeton, US and Steklov Mathematical Institute, Moscow, Russia Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-08-14 09:22:47
6	Quantum Computing Instructor: Alexander Razborov, University of Chicago. Course Homepage: http://people.cs.uchicago.edu/~razborov/teaching/winter18.html (Mostly) Winter Quarter, 2011 and Spring Q Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2018-03-09 11:01:47
7	SATISFIABILITY, BRANCH-WIDTH AND TSEITIN TAUTOLOGIES Michael Alekhnovich and Alexander Razborov August 24, 2011 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-08-24 03:35:26
8	A Parameterized Bounded-Depth Frege is Not Optimal OLAF BEYERSDORFF, University of Leeds NICOLA GALESI, Sapienza University Rome MASSIMO LAURIA, Sapienza University Rome ALEXANDER A. RAZBOROV, University of Chicago Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2012-10-24 10:11:43
9	A simple proof of Bazzi’s theorem ALEXANDER RAZBOROV University of Chicago In 1990, Linial and Nisan asked if any polylog-wise independent distribution fools any function in AC0 . In a recent remarkable development, Ba Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2009-05-05 13:03:32
10	Quantum Computing Instructor: Alexander Razborov, University of Chicago. Course Homepage: http://people.cs.uchicago.edu/~razborov/teaching/winter11.html Winter Quarter, 2011 and Spring Quarter, 2 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2016-03-09 10:11:32