Concepedia

Paul Beame

PB

80

Publications

4.9K

Citations

35

H-Index

1986

Active since

Affiliations

University of Washington(Current)

University of Toronto

University of California San Diego

Rutgers, The State University of New Jersey

University of Pittsburgh

Paul Beame is an author at University of Washington specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityDiscrete MathematicsCombinatorial OptimizationFormal MethodsAutomated ReasoningFormal VerificationTheory Of ComputingMathematical Programming

Publications per year

1986–2022

80

Publications

80

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 308 citations · Full text

Software Maintenance, Engineering, Verification +20

Towards Understanding and Harnessing the Potential of Clause Learning

Paul Beame, Henry Kautz, Ashish Sabharwal · Journal of Artificial Intelligence Research · 2004 · 286 citations · Full text

Engineering, Verification, Automated Proof +22

Log Depth Circuits for Division and Related Problems

Paul Beame, Stephen Cook, H. James Hoover · SIAM Journal on Computing · 1986 · 237 citations

Circuit Complexity, Mathematical Programming, Computational Complexity Theory +17

Exponential lower bounds for the pigeonhole principle

Toniann Pitassi, Paul Beame, Russell Impagliazzo · Computational Complexity · 1993 · 197 citations

Engineering, Lower Bound, Exponential Lower Bounds +5

Model checking large software specifications

W. K. Chan, Richard Anderson, Paul Beame et al. · IEEE Transactions on Software Engineering · 1998 · 197 citations

Software Maintenance, Engineering, Verification +19

Rows per page

1–5 of 80