Mark E. Stickel

Available identifiers

zbMath Open stickel.mark-eWikidataQ18131873 ScholiaQ18131873MaRDI QIDQ1101258

List of research outcomes

Publication	Date of Publication	Type
Studying quasigroup identities by rewriting techniques: Problems and first results	2022-12-09	Paper
Ordered Binary Decision Diagrams and the Davis-Putnam procedure	2022-08-16	Paper
A practical integration of first-order reasoning and decision procedures	2019-10-01	Paper
Building Theorem Provers	2009-07-28	Paper
Implementing the Davis-Putnam method	2001-11-21	Paper
Balance and filtering in structured satisfiable problems. (Preliminary report)	2001-09-24	Paper
A Bayesian approach to tackling hard computational problems. (Preliminary report)	2001-09-24	Paper
Implementing the Davis-Putnam method	2000-05-18	Paper
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation	1997-05-13	Paper
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction	1995-02-22	Paper
A Prolog technology theorem prover: A new exposition and implementation in Prolog	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4016555	1993-01-16	Paper
A Prolog technology theorem prover: Implementation by an extended Prolog compiler	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750142	1986-01-01	Paper
Schubert's steamroller problem: Formulations and solutions	1986-01-01	Paper
Automated deduction by theory resolution	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3336737	1984-01-01	Paper
A Unification Algorithm for Associative-Commutative Functions	1981-01-01	Paper
Complete Sets of Reductions for Some Equational Theories	1981-01-01	Paper
A Hole in Goal Trees: Some Guidance from Resolution Theory	1976-01-01	Paper

Research outcomes over time

This page was built for person: Mark E. Stickel