Autor der Publikation

Nondeterministic Extensions of the Strong Exponential Time Hypothesis and Consequences for Non-reducibility.

, , , , , und . ITCS, Seite 261-270. ACM, (2016)

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

Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations., und . ACM Trans. Comput. Log., 7 (2): 199-218 (2006)New Direct-Product Testers and 2-Query PCPs., , und . SIAM J. Comput., 41 (6): 1722-1768 (2012)An Entropic Proof of Chang's Inequality., , und . SIAM J. Discrete Math., 28 (1): 173-176 (2014)Bounding the Size of Planar Intertwines., und . SIAM J. Discrete Math., 10 (3): 337-358 (1997)Homogenization and the polynomial calculus., , , und . Computational Complexity, 11 (3-4): 91-108 (2002)Logics for reasoning about cryptographic constructions., und . J. Comput. Syst. Sci., 72 (2): 286-320 (2006)On the Complexity of k-SAT., und . J. Comput. Syst. Sci., 62 (2): 367-375 (2001)On the (im)possibility of obfuscating programs., , , , , , und . J. ACM, 59 (2): 6:1-6:48 (2012)The Surprising Power of Constant Depth Algebraic Proofs., , und . Electronic Colloquium on Computational Complexity (ECCC), (2019)Formula Caching in DPLL., , , und . Electronic Colloquium on Computational Complexity (ECCC), (2006)