Planning as Satisfiability

Sorry, there's nothing here.
050'95'98'01'04'07'10'13'16
Citations per Year

923 Citations

Semantic Scholar estimates that this publication has 923 citations based on the available data.

See our FAQ for additional information.

Cite this paper

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