Scholar
Paul Beame
Google Scholar ID: plYoF-MAAAAJ
Professor of Computer Science and Engineering, University of Washington
Computational Complexity
Proof Complexity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
8,442
H-index
47
i10-index
93
Publications
20
Co-authors
21
list available
Contact
No contact links provided.
Publications
1 items
Extending CDCL to disjunctions of parity equations
2026
Cited
0
Resume (English only)
Co-authors
21 total
Henry Kautz
Professor Emeritus of Computer Science, University of Rochester
Richard J. Anderson
Professor of Computer Science and Engineering, University of Washington
Dan Suciu
University of Washington
Ashish Sabharwal
Allen Institute for AI (AI2)
Co-author 5
Co-author 6
Co-author 7
Guy Van den Broeck
Professor and Samueli Fellow, UCLA
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up