Skip to contents

  1. Kleinberg, Robert [Author]; Korten, Oliver [Author]; Mitropolsky, Daniel [Author]; Papadimitriou, Christos [Author] ; Robert Kleinberg and Oliver Korten and Daniel Mitropolsky and Christos Papadimitriou [Contributor]

    Total Functions in the Polynomial Hierarchy

    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, 2021

  2. Döcker, Janosch [Author]

    Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy

    Books

    Tübingen: Universitätsbibliothek Tübingen, 2021

  3. Blanc, Guy [Author]; Koch, Caleb [Author]; Lange, Jane [Author]; Strassle, Carmen [Author]; Tan, Li-Yang [Author] ; Guy Blanc and Caleb Koch and Jane Lange and Carmen Strassle and Li-Yang Tan [Contributor]

    Certification with an NP Oracle

    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, 2023

  4. Gamard, Guilhem [Author]; Guillon, Pierre [Author]; Perrot, Kevin [Author]; Theyssier, Guillaume [Author] ; Guilhem Gamard and Pierre Guillon and Kevin Perrot and Guillaume Theyssier [Contributor]

    Rice-Like Theorems for Automata Networks

    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, 2021

  5. Morawietz, Nils [Author]; Grüttemeier, Niels [Author]; Komusiewicz, Christian [Author]; Sommer, Frank [Author] ; Nils Morawietz and Niels Grüttemeier and Christian Komusiewicz and Frank Sommer [Contributor]

    Colored Cut Games

    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, 2020

  6. Mai, Ngoc Hoang Anh [Author] ; Toulouse 3 [Contributor]; Magron, Victor [Contributor]; Lasserre, Jean-Bernard [Contributor]

    Practical polynomial optimization through positivity certificates with and without denominators ; Optimisation polynomiale pratique grâce à des certificats de positivité avec et sans dénominateurs

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2022-09-21

  7. Gharibian, Sevag [Author]; Santha, Miklos [Author]; Sikora, Jamie [Author]; Sundaram, Aarthi [Author]; Yirka, Justin [Author] ; Sevag Gharibian and Miklos Santha and Jamie Sikora and Aarthi Sundaram and Justin Yirka [Contributor]

    Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2)

    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, 2018

  8. Kurpisz, Adam [Author]; Leppänen, Samuli [Author]; Mastrolilli, Monaldo [Author] ; Adam Kurpisz and Samuli Leppänen and Monaldo Mastrolilli [Contributor]

    Tight Sum-Of-Squares Lower Bounds for Binary Polynomial Optimization Problems

    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

  9. Dietrich, Heiko [Author]; Elder, Murray [Author]; Piggott, Adam [Author]; Qiao, Youming [Author]; Weiß, Armin [Author] ; Heiko Dietrich and Murray Elder and Adam Piggott and Youming Qiao and Armin Weiß [Contributor]

    The Isomorphism Problem for Plain Groups Is in Σ₃^{𝖯}

    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, 2022