Unifying SAT-based and Graph-based Planning

Cite this paper

@inproceedings{Kautz1999UnifyingSA, title={Unifying SAT-based and Graph-based Planning}, author={Henry A. Kautz and Bart Selman}, booktitle={IJCAI}, year={1999} }