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. 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

  3. 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