www.ai-center.com

Kautz, H., and Selman, B. 1998.
BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving.
In Working Notes of the AIPS-98 Workshop on Planning as Combinatorial Search, 58-60.

Referenced by page:

• Global Search Control

Related link:

• The blackbox Home Page