%0 Conference Paper %1 Kautz92 %A Kautz, Henry A. %A Selman, Bart %B Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92) %D 1992 %K planning, satisfiability %P 359--363 %T Planning as Satisfiability %U http://citeseer.ist.psu.edu/kautz92planning.html %X We develop a formal model of planning based on satisfiability rather than deduction. The satisfiability approach not only provides a more flexible framework for stating different kinds of constraints on plans, but also more accurately reflects the theory behind modern constraint-based planning systems. Finally, we consider the computational characteristics of the resulting formulas, by solving them with two very different satisfiability testing procedures. 1 Introduction Planning has...

@inproceedings{Kautz92, abstract = {{We develop a formal model of planning based on satisfiability rather than deduction. The satisfiability approach not only provides a more flexible framework for stating different kinds of constraints on plans, but also more accurately reflects the theory behind modern constraint-based planning systems. Finally, we consider the computational characteristics of the resulting formulas, by solving them with two very different satisfiability testing procedures. 1 Introduction Planning has...}}, added-at = {2011-05-04T16:04:17.000+0200}, author = {Kautz, Henry A. and Selman, Bart}, biburl = {https://www.bibsonomy.org/bibtex/24090d1b34ae0f0ccb871b5eb393ec4ef/baisemain}, booktitle = {Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92)}, citeulike-article-id = {625959}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/kautz92planning.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/kautz92planning.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/kautz92planning.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/kautz92planning.html}, interhash = {145cd4357c9959007af6407e40ae7a55}, intrahash = {4090d1b34ae0f0ccb871b5eb393ec4ef}, keywords = {planning, satisfiability}, pages = {359--363}, posted-at = {2007-05-15 18:02:05}, priority = {2}, timestamp = {2011-05-04T16:04:38.000+0200}, title = {{Planning as Satisfiability}}, url = {http://citeseer.ist.psu.edu/kautz92planning.html}, year = 1992 }