Autor der Publikation

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

Clique Is Hard on Average for Regular Resolution., , , , , und . J. ACM, 68 (4): 23:1-23:26 (2021)Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs., , , und . CCC, Volume 169 von LIPIcs, Seite 28:1-28:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling., , , und . CCC, Volume 137 von LIPIcs, Seite 18:1-18:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Clique Is Hard on Average for Regular Resolution., , , , , und . CoRR, (2020)Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity., , , , , und . FOCS, Seite 24-30. IEEE, (2020)Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs., , , und . CoRR, (2019)How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)., , und . Electron. Colloquium Comput. Complex., (2021)Guest Column: Proofs, Circuits, and Communication., , und . SIGACT News, 53 (1): 59-82 (2022)Lower Bounds and Trade-offs in Proof Complexity.. Royal Institute of Technology, Stockholm, Sweden, (2019)base-search.net (ftkthstockholm:oai:DiVA.org:kth-249610).Automating Tree-Like Resolution in Time no(log n) Is ETH-Hard.. LAGOS, Volume 195 von Procedia Computer Science, Seite 152-162. Elsevier, (2021)