Zum Inhalt springen

  1. Brocken, Thomas [VerfasserIn]; van der Heijden, G. Wessel [VerfasserIn]; Kostitsyna, Irina [VerfasserIn]; Lo-Wong, Lloyd E. [VerfasserIn]; Surtel, Remco J. A. [VerfasserIn] ; Thomas Brocken and G. Wessel van der Heijden and Irina Kostitsyna and Lloyd E. Lo-Wong and Remco J. A. Surtel [MitwirkendeR]

    Multi-Robot Motion Planning of k-Colored Discs Is PSPACE-Hard

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  2. Löding, Christof [Sonstige Person, Familie und Körperschaft]; Rohde, Philipp [Sonstige Person, Familie und Körperschaft]

    Solving the sabotage game is PSPACE-hard

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: RWTH, 2003

    Erschienen in: Aachener Informatik-Berichte ; 2003,5

  3. MIT Hardness Group [VerfasserIn]; Ani, Hayashi [VerfasserIn]; Demaine, Erik D. [VerfasserIn]; Hall, Holden [VerfasserIn]; Korman, Matias [VerfasserIn] ; MIT Hardness Group and Hayashi Ani and Erik D. Demaine and Holden Hall and Matias Korman [MitwirkendeR]

    PSPACE-Hard 2D Super Mario Games: Thirteen Doors

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  4. Bartholdi, Laurent [VerfasserIn]; Figelius, Michael [VerfasserIn]; Lohrey, Markus [VerfasserIn]; Weiß, Armin [VerfasserIn] ; Laurent Bartholdi and Michael Figelius and Markus Lohrey and Armin Weiß [MitwirkendeR]

    Groups with ALOGTIME-Hard Word Problems and PSPACE-Complete Circuit Value Problems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  5. Ibsen-Jensen, Rasmus [VerfasserIn] ; Fearnley, John [Sonstige Person, Familie und Körperschaft]; Savani, Rahul [Sonstige Person, Familie und Körperschaft]

    One-Clock Priced Timed Games are PSPACE-hard: Q/A Session C - Paper C5.B

    Videos
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Erschienen in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)

  6. Ani, Joshua [VerfasserIn]; Bosboom, Jeffrey [VerfasserIn]; Demaine, Erik D. [VerfasserIn]; Diomidov, Yenhenii [VerfasserIn]; Hendrickson, Dylan [VerfasserIn]; Lynch, Jayson [VerfasserIn] ; Joshua Ani and Jeffrey Bosboom and Erik D. Demaine and Yenhenii Diomidov and Dylan Hendrickson and Jayson Lynch [MitwirkendeR]

    Walking Through Doors Is Hard, Even Without Staircases: Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Hunt, H. B.; Ravi, S. S.; Marathe, M. V.; Rosenkrantz, D. J.; Radhakrishnan, V.; Stearns, R. E.

    Algorithms — ESA '94: A unified approach to approximation schemes for NP- and PSPACE-hard problems for geometric graphs

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1994

    Erschienen in: Algorithms — ESA '94