Mark E. Stickel

5 papers in the IJCAI proceedings

IJCAI 2001

Balance and Filtering in Structured Satisfiable Problems

with Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman

Details PDF

IJCAI 1985

An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction

with Mabry Tyson

Details PDF

Automated Deduction by Theory Resolution

Details PDF

IJCAI 1975

A Complete Unification Algorithm for Associative-Commutative Functions

Details PDF

IJCAI 1973

A Hole in Goal Trees: Some Guidance from Resolution Theory

with Donald W. Loveland

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings