Paul Beame

Citado por

	Total	Desde 2020
Citas	8311	1851
Índice h	47	23
Índice i10	92	47

420

210

105

315

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 41 54 61 53 80 80 91 126 99 133 147 189 220 200 221 215 217 234 308 322 296 247 200 230 291 226 256 303 313 390 362 363 403 343 337 359 46

Acceso público

Ver todo

15 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Richard J. AndersonProfessor of Computer Science and Engineering, University of WashingtonDirección de correo verificada de cs.washington.edu
Henry KautzProfessor Emeritus of Computer Science, University of RochesterDirección de correo verificada de cs.rochester.edu
Dan SuciuUniversity of WashingtonDirección de correo verificada de cs.washington.edu
Ashish SabharwalAllen Institute for AI (AI2)Dirección de correo verificada de allenai.org
Stephen CookDepartment of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Walter L. RuzzoProfessor, University of WashingtonDirección de correo verificada de uw.edu
Michael MolloyUniversity of TorontoDirección de correo verificada de cs.toronto.edu
Guy Van den BroeckProfessor and Samueli Fellow, UCLADirección de correo verificada de cs.ucla.edu
Fahiem BacchusProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Jerry LiUniversity of WashingtonDirección de correo verificada de cs.washington.edu
Soren RiisQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Hans L. BodlaenderProfessor Computer Science, Utrecht UniversityDirección de correo verificada de uu.nl
Philipp WoelfelUniversity of CalgaryDirección de correo verificada de ucalgary.ca
Raphael CliffordUniversity of BristolDirección de correo verificada de cs.bris.ac.uk
Srikanth SrinivasanDepartment of Computer Science, University of CopenhagenDirección de correo verificada de di.ku.dk
Cristopher MooreSanta Fe InstituteDirección de correo verificada de santafe.edu
Atri RudraKatherine Johnson Chair in AI, Professor, CSE, University at BuffaloDirección de correo verificada de buffalo.edu
Richard E LadnerUniversity of WashingtonDirección de correo verificada de cs.washington.edu
Marcin KikInstitute of Mathematics and Computer Science, Wroclaw Univeristy of TechnologyDirección de correo verificada de pwr.wroc.pl
Mihai PatrascuAT&T LabsDirección de correo verificada de alum.mit.edu

Seguir

Paul Beame

Professor of Computer Science and Engineering, University of Washington

Dirección de correo verificada de cs.washington.edu - Página principal

Computational Complexity Proof Complexity


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Towards understanding and harnessing the potential of clause learning P Beame, H Kautz, A Sabharwal Journal of artificial intelligence research 22, 319-351, 2004	417	2004
Log depth circuits for division and related problems PW Beame, SA Cook, HJ Hoover SIAM Journal on Computing 15 (4), 994-1003, 1986	414	1986
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	401	1998
Communication steps for parallel query processing P Beame, P Koutris, D Suciu Journal of the ACM (JACM) 64 (6), 1-58, 2017	382	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	333	2004
Optimal bounds for decision problems on the CRCW PRAM P Beame, J Hastad Journal of the ACM (JACM) 36 (3), 643-670, 1989	313	1989
Performing Bayesian inference by weighted model counting T Sang, P Beame, HA Kautz AAAI 5, 475-481, 2005	300	2005
Simplified and improved resolution lower bounds P Beame, T Pitassi Proceedings of 37th Conference on Foundations of Computer Science, 274-282, 1996	278	1996
Exponential lower bounds for the pigeonhole principle T Pitassi, P Beame, R Impagliazzo Computational complexity 3, 97-140, 1993	238	1993
Propositional proof complexity: Past, present and future P Beame, T Pitassi Bulletin of the EATCS 65, 66-89, 1998	234	1998
The relative complexity of NP search problems P Beame, S Cook, J Edmonds, R Impagliazzo, T Pitassi Proceedings of the twenty-seventh annual ACM symposium on Theory of …, 1995	220	1995
Optimal bounds for the predecessor problem and related problems P Beame, FE Fich Journal of Computer and System Sciences 65 (1), 38-72, 2002	209	2002
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	174	1996
Skew in parallel query processing P Beame, P Koutris, D Suciu Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of …, 2014	153	2014
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	151	2002
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	149	1998
A general sequential time-space tradeoff for finding unique elements P Beame Proceedings of the twenty-first annual ACM symposium on Theory of computing …, 1989	144	1989
A switching lemma primer P Beame Technical Report UW-CSE-95-07-01, Department of Computer Science and …, 1994	140	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	138	1992
Heuristics for fast exact model counting T Sang, P Beame, H Kautz Theory and Applications of Satisfiability Testing: 8th International …, 2005	135	2005

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores