Pushing the Envelope (1996)

by H Kautz, B Selman
Venue:Planning, Propositional Logic, and Stochastic Search'. In: 13th National Conference on Arti Intelligence