Concepedia

Robert A. Reckhow

RA

9

Publications

1.5K

Citations

9

H-Index

1972

Active since

Affiliations

University of Alberta(Current)

University of Toronto

Robert A. Reckhow is an author at University of Alberta specializing in engineering, discrete mathematics, and computational geometry.

Top concepts

EngineeringDiscrete MathematicsFormal MethodsComputer ScienceDiscrete GeometryAutomated ReasoningFormal VerificationComputational GeometryComputational ComplexityVerification

Publications per year

1972–1994

9

Publications

9

The relative efficiency of propositional proof systems

Stephen Cook, Robert A. Reckhow · Journal of Symbolic Logic · 1979 · 818 citations

Frege Systems, Engineering, Automated Reasoning +13

Time bounded random access machines

Stephen Cook, Robert A. Reckhow · Journal of Computer and System Sciences · 1973 · 315 citations

Random Access Machines, Engineering, Access Control +4

On the lengths of proofs in the propositional calculus (Preliminary Version)

Stephen Cook, Robert A. Reckhow · 1974 · 97 citations · Full text

Engineering, Verification, Automated Proof +18

Covering Polygons Is Hard

Joseph Culberson, Robert A. Reckhow · Journal of Algorithms · 1994 · 92 citations

Discrete Geometry, Engineering, Geometric Algorithm +4

Covering polygons is hard

Joseph Culberson, Robert A. Reckhow · 1988 · 62 citations

Discrete Geometry, Covering Problems, Arbitrary Polygon +12

Rows per page

1–5 of 9