Research Publications

	NICTA Publications
Search \| Show all	All Conference Paper - 2009
Narrow your search	« 1 » Results per Page 10 25 50 100 250 1 result(s)
By Type Show all types By Year Show all years By Research Group Show all research groups	SAT-Based Parallel Planning Using a Split Representation of Actions Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar 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) ... 19th International Conference on Automated Planning and Scheduling (ICAPS'09) - September 2009