Donald W. Loveland

Available identifiers

zbMath Open loveland.donald-wDBLP23/1767WikidataQ5295258 ScholiaQ5295258MaRDI QIDQ287331

List of research outcomes

Publication	Date of Publication	Type
DPLL: The Core of Modern Satisfiability Solvers	2020-08-06	Paper
Mark Stickel: his earliest work	2016-05-26	Paper
On minimal-program complexity measures	2014-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q5397083	2014-02-19	Paper
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4391447	1998-06-03	Paper
The use of lemmas in the model elimination procedure	1997-09-17	Paper
Near-Horn Prolog and the ancestry family of procedures	1996-11-24	Paper
SATCHMORE: SATCHMO with RElevancy	1995-06-25	Paper
On the complexity of belief network synthesis and refinement	1993-05-16	Paper
A comparison of three PROLOG extensions	1992-08-13	Paper
Near-Horn prolog and beyond	1991-01-01	Paper
Finding critical sets	1987-01-01	Paper
Performance bounds for binary testing with arbitrary weights	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216155	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880324	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4139711	1978-01-01	Paper
A Hole in Goal Trees: Some Guidance from Resolution Theory	1976-01-01	Paper
An Implementation of the Model Elimination Proof Procedure	1974-01-01	Paper
A Unifying View of Some Linear Herbrand Procedures	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5600875	1970-01-01	Paper
A Simplified Format for the Model Elimination Theorem-Proving Procedure	1969-01-01	Paper
A variant of the Kolmogorov concept of complexity	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672215	1969-01-01	Paper
Mechanical Theorem-Proving by Model Elimination	1968-01-01	Paper
A New Interpretation of the von Mises' Concept of Random Sequence	1966-01-01	Paper
The Kleene Hierarchy Classification of Recursively Random Sequences	1966-01-01	Paper
A machine program for theorem-proving	1962-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Donald W. Loveland