Skip to contents

  1. Filmus, Yuval [Author]; Hirsch, Edward A. [Author]; Riazanov, Artur [Author]; Smal, Alexander [Author]; Vinyals, Marc [Author] ; Yuval Filmus and Edward A. Hirsch and Artur Riazanov and Alexander Smal and Marc Vinyals [Contributor]

    Proving Unsatisfiability with Hitting Formulas

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  2. Arvind, Vikraman [Author]; Datta, Rajit [Author]; Mukhopadhyay, Partha [Author]; Raja, S. [Author] ; Vikraman Arvind and Rajit Datta and Partha Mukhopadhyay and S. Raja [Contributor]

    Efficient Identity Testing and Polynomial Factorization in Nonassociative Free Rings

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  3. Jansen, Maurice [Author]; Qiao, Youming [Author]; Sarma M.N., Jayalal [Author] ; Maurice Jansen and Youming Qiao and Jayalal Sarma M.N. [Contributor]

    Deterministic Black-Box Identity Testing $pi$-Ordered Algebraic Branching Programs

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  4. Barth, Dominik [Author]; Beck, Moritz [Author]; Dose, Titus [Author]; Glaßer, Christian [Author]; Michler, Larissa [Author]; Technau, Marc [Author] ; Dominik Barth and Moritz Beck and Titus Dose and Christian Glaßer and Larissa Michler and Marc Technau [Contributor]

    Emptiness Problems for Integer Circuits

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  5. Anderson, Matthew [Author]; Forbes, Michael A. [Author]; Saptharishi, Ramprasad [Author]; Shpilka, Amir [Author]; Volk, Ben Lee [Author] ; Matthew Anderson and Michael A. Forbes and Ramprasad Saptharishi and Amir Shpilka and Ben Lee Volk [Contributor]

    Identity Testing and Lower Bounds for Read-k Oblivious Algebraic Branching Programs

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016