Mark E. Stickel

From MaRDI portal
Person:1101258

Available identifiers

zbMath Open stickel.mark-eWikidataQ18131873 ScholiaQ18131873MaRDI QIDQ1101258

List of research outcomes





PublicationDate of PublicationType
Studying quasigroup identities by rewriting techniques: Problems and first results2022-12-09Paper
Ordered Binary Decision Diagrams and the Davis-Putnam procedure2022-08-16Paper
A practical integration of first-order reasoning and decision procedures2019-10-01Paper
Building Theorem Provers2009-07-28Paper
Implementing the Davis-Putnam method2001-11-21Paper
Balance and filtering in structured satisfiable problems. (Preliminary report)2001-09-24Paper
A Bayesian approach to tackling hard computational problems. (Preliminary report)2001-09-24Paper
Implementing the Davis-Putnam method2000-05-18Paper
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation1997-05-13Paper
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction1995-02-22Paper
A Prolog technology theorem prover: A new exposition and implementation in Prolog1993-01-17Paper
https://portal.mardi4nfdi.de/entity/Q40165551993-01-16Paper
A Prolog technology theorem prover: Implementation by an extended Prolog compiler1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37501421986-01-01Paper
Schubert's steamroller problem: Formulations and solutions1986-01-01Paper
Automated deduction by theory resolution1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33367371984-01-01Paper
A Unification Algorithm for Associative-Commutative Functions1981-01-01Paper
Complete Sets of Reductions for Some Equational Theories1981-01-01Paper
A Hole in Goal Trees: Some Guidance from Resolution Theory1976-01-01Paper

Research outcomes over time

This page was built for person: Mark E. Stickel