Autor der Publikation

Lower Bounds for the Polynomial Calculus and the Gröbner Basis Algorithm.

, , und . Computational Complexity, 8 (2): 127-144 (1999)

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

The number of proof lines and the size of proofs in first order logic., und . Arch. Math. Log., 27 (1): 69-84 (1988)Parity Games and Propositional Proofs., , und . ACM Trans. Comput. Log., 15 (2): 17:1-17:30 (2014)On extracting computations from propositional proofs (a survey).. FSTTCS, Volume 8 von LIPIcs, Seite 30-41. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)Exponential Lower Bounds for the Pigeonhole Principle, , , , , und . STOC, Seite 200-220. ACM, (1992)Two lower bounds for branching programs, , , , , , , und . STOC, Seite 30-38. ACM, (1986)Partition Expanders., und . STACS, Volume 25 von LIPIcs, Seite 325-336. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2014)Metamathematics of First-Order Arithmetic., und . Perspectives in mathematical logic Springer, (1993)A lower bound for DLL algorithms for k-SAT (preliminary version)., und . SODA, Seite 128-136. ACM/SIAM, (2000)A nonlinear bound on the number of wires in bounded depth circuits. Electronic Colloquium on Computational Complexity (ECCC), (2005)A note on monotone real circuits., und . Electronic Colloquium on Computational Complexity (ECCC), (2017)