Research Publications
All Conference Paper - 2009 | |
| Narrow your search | 1 result(s) |
By Type By Year By Research Group | Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan must be minimal in the number of plan steps required, and (ii) ... |