Planning as Satisfiability

Cite this paper

@inproceedings{Kautz1992PlanningAS, title={Planning as Satisfiability}, author={Henry A. Kautz and Bart Selman}, booktitle={ECAI}, year={1992} }