Paul Beame

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	8295	1843
h-index	47	23
i10-index	93	48

400

200

100

300

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202529 41 55 61 57 77 83 89 128 104 136 139 185 222 199 212 219 219 233 308 317 303 253 199 226 292 218 255 296 317 385 365 355 386 336 332 376 58

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

15 مقالة

0 مقالة

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Richard J. AndersonProfessor of Computer Science and Engineering, University of Washingtonبريد إلكتروني تم التحقق منه على cs.washington.edu
Henry KautzProfessor Emeritus of Computer Science, University of Rochesterبريد إلكتروني تم التحقق منه على cs.rochester.edu
Dan SuciuUniversity of Washingtonبريد إلكتروني تم التحقق منه على cs.washington.edu
Ashish SabharwalAllen Institute for AI (AI2)بريد إلكتروني تم التحقق منه على allenai.org
Stephen CookDepartment of Computer Science, University of Torontoبريد إلكتروني تم التحقق منه على cs.toronto.edu
Walter L. RuzzoProfessor, University of Washingtonبريد إلكتروني تم التحقق منه على uw.edu
Michael MolloyUniversity of Torontoبريد إلكتروني تم التحقق منه على cs.toronto.edu
Guy Van den BroeckProfessor and Samueli Fellow, UCLAبريد إلكتروني تم التحقق منه على cs.ucla.edu
Fahiem BacchusProfessor of Computer Science, University of Torontoبريد إلكتروني تم التحقق منه على cs.toronto.edu
Jerry LiUniversity of Washingtonبريد إلكتروني تم التحقق منه على cs.washington.edu
Hans L. BodlaenderProfessor Computer Science, Utrecht Universityبريد إلكتروني تم التحقق منه على uu.nl
Philipp WoelfelUniversity of Calgaryبريد إلكتروني تم التحقق منه على ucalgary.ca
Raphael CliffordUniversity of Bristolبريد إلكتروني تم التحقق منه على cs.bris.ac.uk
Srikanth SrinivasanDepartment of Computer Science, University of Copenhagenبريد إلكتروني تم التحقق منه على di.ku.dk
Soren RiisQueen Mary University of Londonبريد إلكتروني تم التحقق منه على qmul.ac.uk
Cristopher MooreSanta Fe Instituteبريد إلكتروني تم التحقق منه على santafe.edu
Atri RudraKatherine Johnson Chair in AI, Professor, CSE, University at Buffaloبريد إلكتروني تم التحقق منه على buffalo.edu
Richard E LadnerUniversity of Washingtonبريد إلكتروني تم التحقق منه على cs.washington.edu
Marcin KikInstitute of Mathematics and Computer Science, Wroclaw Univeristy of Technologyبريد إلكتروني تم التحقق منه على pwr.wroc.pl
Mihai PatrascuAT&T Labsبريد إلكتروني تم التحقق منه على alum.mit.edu

متابعة

Paul Beame

Professor of Computer Science and Engineering, University of Washington

بريد إلكتروني تم التحقق منه على cs.washington.edu - الصفحة الرئيسية

Computational Complexity Proof Complexity


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
Towards understanding and harnessing the potential of clause learning‏ P Beame, H Kautz, A Sabharwal‏ Journal of artificial intelligence research 22, 319-351, 2004‏	420	2004
Log depth circuits for division and related problems‏ PW Beame, SA Cook, HJ Hoover‏ SIAM Journal on Computing 15 (4), 994-1003, 1986‏	416	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‏	385	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‏	327	2004
Optimal bounds for decision problems on the CRCW PRAM‏ P Beame, J Hastad‏ Journal of the ACM (JACM) 36 (3), 643-670, 1989‏	315	1989
Performing Bayesian inference by weighted model counting‏ T Sang, P Beame, HA Kautz‏ AAAI 5, 475-481, 2005‏	302	2005
Simplified and improved resolution lower bounds‏ P Beame, T Pitassi‏ Proceedings of 37th Conference on Foundations of Computer Science, 274-282, 1996‏	281	1996
Exponential lower bounds for the pigeonhole principle‏ T Pitassi, P Beame, R Impagliazzo‏ Computational complexity 3, 97-140, 1993‏	241	1993
Propositional proof complexity: Past, present and future‏ P Beame, T Pitassi‏ Bulletin of the EATCS 65, 66-89, 1998‏	237	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‏	221	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‏	203	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‏	173	1996
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‏	153	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‏	151	2014
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‏	150	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‏	145	1989
A switching lemma primer‏ P Beame‏ Technical Report UW-CSE-95-07-01, Department of Computer Science and …, 1994‏	139	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‏	137	1992
Understanding the power of clause learning‏ P Beame, H Kautz, A Sabharwal‏ IJCAI, 1194-1201, 2003‏	133	2003

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون