Autor der Publikation

Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible.

, , , , , , , und . FUN, Volume 100 von LIPIcs, Seite 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players., , , , , , , , , und 5 andere Autor(en). J. Inf. Process., (2020)Path Puzzles: Discrete Tomography with a Path Constraint is Hard., , , , , und . Graphs Comb., 36 (2): 251-267 (2020)Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs., , , und . ASPLOS, Seite 98-112. ACM, (2018)Walking Through Doors Is Hard, Even Without Staircases: Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets., , , , , und . FUN, Volume 157 von LIPIcs, Seite 3:1-3:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Dissection with the Fewest Pieces is Hard, Even to Approximate., , , , , , und . JCDCGG, Volume 9943 von Lecture Notes in Computer Science, Seite 37-48. Springer, (2015)Tatamibari is NP-complete., , , , , und . CoRR, (2020)Tatamibari Is NP-Complete., , , , , und . FUN, Volume 157 von LIPIcs, Seite 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible., , , , , , , und . FUN, Volume 100 von LIPIcs, Seite 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Computational Complexity of Generalized Push Fight., , und . FUN, Volume 100 von LIPIcs, Seite 11:1-11:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Arithmetic Expression Construction., , , , , , , , , und 3 andere Autor(en). ISAAC, Volume 181 von LIPIcs, Seite 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)