SAT-Based Parallel Planning Using a Split Representation of Actions
Citation
Robinson, N, Gretton, C, Pham, D et al 2009, 'SAT-Based Parallel Planning Using a Split Representation of Actions', 19th International Conference on Automated Planning and Scheduling, ed. Alfonso Gerevini, Adele E. Howe, Amedeo Cesta, Ioannis Refanidis, AAAI Press, Thessaloniki, Greece.Year
2009ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified