Gregory, Peter, Long, Derek and Fox, Maria (2007) A Meta-CSP Model for Optimal Planning. In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007. Lecture Notes in Computer Science, 4612 . Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 200-214. ISBN 978-3-540-73579-3

One approach to optimal planning is to first start with a sub- optimal
solution as a seed plan, and then iteratively search for shorter plans. This approach
inevitably leads to an increase in the size of the model to be solved.We introduce
a reformulation of the planning problem in which the problem is described as a
meta- CSP, which controls the search of an underlying SAT solver. Our results
show that this approach solves a greater number of problems than both Maxplan
and Blackbox, and our analysis discusses the advantages and disadvantages of
searching in the backwards direction

Gregory,_Long,_Fox_-_2007_-_A_Meta-CSP_Model_for_Optimal_Planning.pdf - Accepted Version

Download (306kB)


Downloads per month over past year

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email