Paul Beame

Geciteerd door

	Alles	Sinds 2017
Citaties	7335	2040
h-index	45	23
i10-index	91	50

420

210

105

315

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202218 32 31 47 58 62 72 81 83 107 100 145 132 172 228 195 216 200 218 222 317 320 296 259 207 222 272 228 280 308 318 392 371 369 406 179

Openbare toegang

Alles bekijken

19 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Russell ImpagliazzoUC, San DiegoGeverifieerd e-mailadres voor eng.ucsd.edu
Richard J. AndersonProfessor of Computer Science and Engineering, University of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
Henry KautzProfessor of Computer Science, University of RochesterGeverifieerd e-mailadres voor cs.rochester.edu
Dan SuciuUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
Ashish SabharwalAllen Institute for AI (AI2)Geverifieerd e-mailadres voor allenai.org
Paraschos KoutrisUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
Stephen CookDepartment of Computer Science, University of TorontoGeverifieerd e-mailadres voor cs.toronto.edu
Walter L. RuzzoProfessor, University of WashingtonGeverifieerd e-mailadres voor uw.edu
Michael MolloyGeverifieerd e-mailadres voor cs.toronto.edu
Fahiem BacchusProfessor of Computer Science, University of TorontoGeverifieerd e-mailadres voor cs.toronto.edu
Guy Van den BroeckAssociate Professor and Samueli Fellow, UCLAGeverifieerd e-mailadres voor cs.ucla.edu
Jerry LiMicrosoft ResearchGeverifieerd e-mailadres voor mit.edu
Jeff EdmondsYork UniversityGeverifieerd e-mailadres voor cse.yorku.ca
Philipp WoelfelUniversity of CalgaryGeverifieerd e-mailadres voor ucalgary.ca
Raphael CliffordUniversity of BristolGeverifieerd e-mailadres voor cs.bris.ac.uk
Hans L. BodlaenderProfessor Computer Science, Utrecht UniversityGeverifieerd e-mailadres voor uu.nl
Srikanth SrinivasanDepartment of Mathematics, Indian Institute of Technology BombayGeverifieerd e-mailadres voor math.iitb.ac.in
Cristopher MooreSanta Fe InstituteGeverifieerd e-mailadres voor santafe.edu
Soren RiisQueen Mary University of LondonGeverifieerd e-mailadres voor qmul.ac.uk
Atri RudraProfessor, CSE, University at BuffaloGeverifieerd e-mailadres voor buffalo.edu

Volgen

Paul Beame

Professor of Computer Science and Engineering, University of Washington

Geverifieerd e-mailadres voor cs.washington.edu - Homepage

Computational Complexity Proof Complexity


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Model checking large software specifications W Chan, RJ Anderson, P Beame, S Burns, F Modugno, D Notkin, ... IEEE Transactions on software Engineering 24 (7), 498-520, 1998	386	1998
Log depth circuits for division and related problems PW Beame, SA Cook, HJ Hoover SIAM Journal on Computing 15 (4), 994-1003, 1986	366	1986
Towards understanding and harnessing the potential of clause learning P Beame, H Kautz, A Sabharwal Journal of artificial intelligence research 22, 319-351, 2004	359	2004
Optimal bounds for decision problems on the CRCW PRAM P Beame, J Hastad Journal of the ACM (JACM) 36 (3), 643-670, 1989	305	1989
Communication steps for parallel query processing P Beame, P Koutris, D Suciu Journal of the ACM (JACM) 64 (6), 1-58, 2017	280	2017
Combining Component Caching and Clause Learning for Effective Model Counting. T Sang, F Bacchus, P Beame, HA Kautz, T Pitassi SAT 4, 7th, 2004	275	2004
Simplified and improved resolution lower bounds P Beame, T Pitassi Proceedings of 37th Conference on Foundations of Computer Science, 274-282, 1996	256	1996
Performing Bayesian inference by weighted model counting T Sang, P Beame, HA Kautz AAAI 5, 475-481, 2005	231	2005
Propositional Proof complexity: Past, Present P Beame, T Pitassi Future, 42-70, 2001	222	2001
Exponential lower bounds for the pigeonhole principle T Pitassi, P Beame, R Impagliazzo Computational complexity 3 (2), 97-140, 1993	207	1993
Optimal bounds for the predecessor problem and related problems P Beame, FE Fich Journal of Computer and System Sciences 65 (1), 38-72, 2002	200	2002
The relative complexity of NP search problems P Beame, S Cook, J Edmonds, R Impagliazzo, T Pitassi Journal of Computer and System Sciences 57 (1), 3-19, 1998	183	1998
The Relative Complexity of NP Search Problems P Beame, S Cook, J Edmonds, R Impagliazzo, T Pitassi Journal of Computer and System Sciences 57 (1), 3-19, 1998	183	1998
Lower bounds on Hilbert's Nullstellensatz and propositional proofs P Beame, R Impagliazzo, J Krajíček, T Pitassi, P Pudlák Proceedings of the London Mathematical Society 3 (1), 1-26, 1996	158	1996
On the complexity of unsatisfiability proofs for random k-CNF formulas P Beame, R Karp, T Pitassi, M Saks Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998	144	1998
The efficiency of resolution and Davis--Putnam procedures P Beame, R Karp, T Pitassi, M Saks SIAM Journal on Computing 31 (4), 1048-1075, 2002	139	2002
Skew in parallel query processing P Beame, P Koutris, D Suciu Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of …, 2014	137	2014
Optimal bounds for the predecessor problem P Beame, FE Fich Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing …, 1999	135	1999
A switching lemma primer P Beame Technical Report UW-CSE-95-07-01, Department of Computer Science and …, 1994	129	1994
Exponential lower bounds for the pigeonhole principle P Beame, R Impagliazzo, J Krajíček, T Pitassi, P Pudlák, A Woods Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing …, 1992	129	1992

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Deze auteur volgen

Geciteerd door

Medeauteurs