Paper ID: 7662
Solving the Rehearsal Problem with Planning and with Model Checking
16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints
Page Numbers : 157--171
Planning problems have been modelled and solved as constraint satisfaction problems. Similarly, model checking problems have been modelled
and solved as constraint satisfaction problems. In this paper we show that, conversely, planning and model checking techniques can each be applied to a constraint satisfaction problem. We demonstrate this by modelling and solving what might generally be accepted as a constraint satisfaction problem, the
rehearsal problem, using both planning and model checking technologies. Both of these technologies compete with the more encoding, the constraint programming solution, in terms of search time.
Keywords: constraint satisfaction; planning; model checking;