Planning as Satisfiability | BibSonomy

Planning as Satisfiability
, and .
Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92), page 359--363. (1992)

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...
  • @zeno
  • @baisemain
  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).