Stickel, Mark E.

8 publications

IJCAI 2001 Balance and Filtering in Structured Satisfiable Problems Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

AAAI 2000 Using Prior Knowledge: Problems and Solutions Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger

IJCAI 1985 An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction Mark E. Stickel, Mabry Tyson

IJCAI 1985 Automated Deduction by Theory Resolution Mark E. Stickel

AAAI 1983 Theory Resolution: Building in Nonequational Theories Mark E. Stickel

AAAI 1982 A Nonclausal Connection-Graph Resolution Theorem-Proving Program Mark E. Stickel

IJCAI 1975 A Complete Unification Algorithm for Associative-Commutative Functions Mark E. Stickel

IJCAI 1973 A Hole in Goal Trees: Some Guidance from Resolution Theory Donald W. Loveland, Mark E. Stickel