Planning as satisfiability (1992)
Cached
Download Links
- [www.cs.rochester.edu]
- [www.cs.cornell.edu]
- DBLP
Other Repositories/Bibliography
by
Henry Kautz
,
Bart Selman
| Venue: | IN ECAI-92 |
| Citations: | 362 - 24 self |
BibTeX
@INPROCEEDINGS{Kautz92planningas,
author = {Henry Kautz and Bart Selman},
title = {Planning as satisfiability},
booktitle = {IN ECAI-92},
year = {1992},
pages = {359--363},
publisher = {Wiley}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We develop a formal model of planning based on satisfiability rather than deduction. The satis ability approach not only provides a more flexible framework for stating di erent 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.
