Dennis de Champeaux
Dennis de Champeaux and Leni Sint.
An improved bidirectional heuristic search algorithm.
Journal of the ACM
, 24(2):177-191, April 1977.
Dennis de Champeaux.
Bidirectional heuristic search again.
Journal of the ACM
, 30(1):22-32, January 1983.
Dennis de Champeaux.
Subproblem finder and instance checker, two cooperating modules for theorem provers.
Journal of the ACM
, 33(4):633-657, October 1986.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database