Paul Beame
Scholar

Paul Beame

Google Scholar ID: plYoF-MAAAAJ
Professor of Computer Science and Engineering, University of Washington
Computational ComplexityProof Complexity
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
Henry Kautz
Professor Emeritus of Computer Science, University of Rochester
Richard J. Anderson
Richard J. Anderson
Professor of Computer Science and Engineering, University of Washington
Dan Suciu
Dan Suciu
University of Washington
Ashish Sabharwal
Ashish Sabharwal
Allen Institute for AI (AI2)
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Guy Van den Broeck
Guy Van den Broeck
Professor and Samueli Fellow, UCLA