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

This page was built for person: Donald W. Loveland