| Publication | Date of Publication | Type |
|---|
DPLL: the core of modern satisfiability solvers
Outstanding Contributions to Logic | 2020-08-06 | Paper |
Mark Stickel: his earliest work
Journal of Automated Reasoning | 2016-05-26 | Paper |
On minimal-program complexity measures
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
| Three views of logic. Mathematics, philosophy, and computer science | 2014-02-19 | Paper |
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 1158756 (Why is no real title available?) | 1998-06-03 | Paper |
The use of lemmas in the model elimination procedure
Journal of Automated Reasoning | 1997-09-17 | Paper |
Near-Horn Prolog and the ancestry family of procedures
Annals of Mathematics and Artificial Intelligence | 1996-11-24 | Paper |
SATCHMORE: SATCHMO with RElevancy
Journal of Automated Reasoning | 1995-06-25 | Paper |
On the complexity of belief network synthesis and refinement
International Journal of Approximate Reasoning | 1993-05-16 | Paper |
A comparison of three PROLOG extensions
The Journal of Logic Programming | 1992-08-13 | Paper |
Near-Horn prolog and beyond
Journal of Automated Reasoning | 1991-01-01 | Paper |
Finding critical sets
Journal of Algorithms | 1987-01-01 | Paper |
Performance bounds for binary testing with arbitrary weights
Acta Informatica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3881899 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3684936 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3568056 (Why is no real title available?) | 1978-01-01 | Paper |
A Hole in Goal Trees: Some Guidance from Resolution Theory
IEEE Transactions on Computers | 1976-01-01 | Paper |
An Implementation of the Model Elimination Proof Procedure
Journal of the ACM | 1974-01-01 | Paper |
A Unifying View of Some Linear Herbrand Procedures
Journal of the ACM | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3320385 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3407196 (Why is no real title available?) | 1969-01-01 | Paper |
A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM | 1969-01-01 | Paper |
A variant of the Kolmogorov concept of complexity
Information and Control | 1969-01-01 | Paper |
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM | 1968-01-01 | Paper |
| The Kleene Hierarchy Classification of Recursively Random Sequences | 1966-01-01 | Paper |
A New Interpretation of the von Mises' Concept of Random Sequence
Mathematical Logic Quarterly | 1966-01-01 | Paper |
A machine program for theorem-proving
Communications of the ACM | 1962-01-01 | Paper |
