Pushing the Envelope: Planning, Propositional Logic and Stochastic Search

Cite this paper

@inproceedings{Kautz1996PushingTE, title={Pushing the Envelope: Planning, Propositional Logic and Stochastic Search}, author={Henry A. Kautz and Bart Selman}, booktitle={AAAI/IAAI, Vol. 2}, year={1996} }