Autor der Publikation

Adventures in Monotone Complexity and TFNP.

, , , und . ITCS, Volume 124 von LIPIcs, Seite 38:1-38:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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

Lower Bounds for Splittings by Linear Combinations., und . MFCS (2), Volume 8635 von Lecture Notes in Computer Science, Seite 372-383. Springer, (2014)On the probabilistic closure of the loose unambiguous hierarchy., und . Inf. Process. Lett., 115 (9): 725-730 (2015)Coverage Path Planning Optimization of Heterogeneous UAVs Group for Precision Agriculture., , , , , , , , , und . IEEE Access, (2023)A Lower Bound for k-DNF Resolution on Random CNF Formulas via Expansion., und . Electron. Colloquium Comput. Complex., (2022)Monotone circuit lower bounds from resolution., , , und . STOC, Seite 902-911. ACM, (2018)Heuristic Time Hierarchies via Hierarchies for Sampling Distributions., , und . ISAAC, Volume 9472 von Lecture Notes in Computer Science, Seite 201-211. Springer, (2015)Trade-Offs Between Size and Degree in Polynomial Calculus., , , und . ITCS, Volume 151 von LIPIcs, Seite 72:1-72:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Robust Quantization for Polycube Maps., , , , , und . Comput. Aided Des., (2022)In the Quest for Scale-optimal Mappings., , , , und . ACM Trans. Graph., 43 (1): 8:1-8:16 (Februar 2024)(Semi)Algebraic proofs over ±1 variables.. STOC, Seite 78-90. ACM, (2020)