Mark E. Stickel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Studying quasigroup identities by rewriting techniques: Problems and first results Rewriting Techniques and Applications	2022-12-09	Paper
Ordered binary decision diagrams and the Davis-Putnam procedure Constraints in Computational Logics	2022-08-16	Paper
A practical integration of first-order reasoning and decision procedures Automated Deduction—CADE-14	2019-10-01	Paper
Building Theorem Provers Automated Deduction – CADE-22	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 Journal of Automated Reasoning	2000-05-18	Paper
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation Annals of Mathematics and Artificial Intelligence	1997-05-13	Paper
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction Journal of Automated Reasoning	1995-02-22	Paper
A Prolog technology theorem prover: A new exposition and implementation in Prolog Theoretical Computer Science	1993-01-17	Paper
scientific article; zbMATH DE number 88997 (Why is no real title available?)	1993-01-16	Paper
A Prolog technology theorem prover: Implementation by an extended Prolog compiler Journal of Automated Reasoning	1988-01-01	Paper
scientific article; zbMATH DE number 3986671 (Why is no real title available?)	1986-01-01	Paper
Schubert's steamroller problem: Formulations and solutions Journal of Automated Reasoning	1986-01-01	Paper
Automated deduction by theory resolution Journal of Automated Reasoning	1985-01-01	Paper
scientific article; zbMATH DE number 3870641 (Why is no real title available?)	1984-01-01	Paper
A Unification Algorithm for Associative-Commutative Functions Journal of the ACM	1981-01-01	Paper
Complete Sets of Reductions for Some Equational Theories Journal of the ACM	1981-01-01	Paper
A Hole in Goal Trees: Some Guidance from Resolution Theory IEEE Transactions on Computers	1976-01-01	Paper

Research outcomes over time

This page was built for person: Mark E. Stickel