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
                      UPDATE