Concepedia

Donald Loveland

DL

33

Publications

4.5K

Citations

22

H-Index

1960

Active since

Affiliations

Duke University(Current)

Lawrence Livermore National Laboratory

Carnegie Mellon University

Korea Astronomy and Space Science Institute

California Polytechnic State University

Donald Loveland is an author at Duke University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsVerificationFormal VerificationData ScienceProof ComplexityComputational ComplexityMathematical Programming

Publications per year

1960–2022

33

Publications

33

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.1K citations · Full text

Mathematical Programming, Engineering, Verification +17

Mechanical Theorem-Proving by Model Elimination

Donald Loveland · Journal of the ACM · 1968 · 193 citations · Full text

Engineering, Verification, Automated Proof +16

A Simplified Format for the Model Elimination Theorem-Proving Procedure

Donald Loveland · Journal of the ACM · 1969 · 146 citations · Full text

Mathematical Programming, Engineering, Data Science +11

A New Interpretation of the von Mises' Concept of Random Sequence

Donald Loveland · Mathematical logic quarterly · 1966 · 81 citations

Von Mises, Discrete Probability, New Interpretation +3

Presburger arithmetic with bounded quantifier alternation

Cattamanchi Ramalinga Reddy, Donald Loveland · 1978 · 75 citations

Mathematical Programming, Computational Complexity Theory, Engineering +18

Rows per page

1–5 of 33