Autor der Publikation

More on the relative strength of counting principles.

, und . Proof Complexity and Feasible Arithmetics, Volume 39 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 13-35. DIMACS/AMS, (1996)

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

Optimizing symbolic model checking for statecharts, , , , , und . Software Engineering, IEEE Transactions on, 27 (2): 170--190 (2001)Counting of Query Expressions: Limitations of Propositional Methods., , , und . ICDT, Seite 177-188. OpenProceedings.org, (2014)Massively-Parallel Similarity Join, Edge-Isoperimetry, and Distance Correlations on the Hypercube., und . CoRR, (2016)A Strong Direct Product Theorem for Corruption and the Multiparty Communication Complexity of Disjointness., , , und . Comput. Complex., 15 (4): 391-432 (2006)Optimal bounds for decision problems on the CRCW PRAM., und . J. ACM, 36 (3): 643-670 (1989)Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems., und . STOC, Seite 688-697. ACM, (2002)Using Problem Structure for Efficient Clause Learning., , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 242-256. Springer, (2003)Stabbing Planes., , , , , , und . ITCS, Volume 94 von LIPIcs, Seite 10:1-10:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space., , und . STOC, Seite 213-232. ACM, (2012)Proof complexity.. Computational Complexity Theory, Volume 10 von IAS / Park City mathematics series, AMS Chelsea Publishing, (2004)