A Compact and Efficient SAT Encoding for Planning
Citation
Robinson, N, Gretton, C, Pham, D et al 2008, 'A Compact and Efficient SAT Encoding for Planning', 18th International Conference on Automated Planning and Scheduling 2008 (ICAPS), ed. Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, Eric A. Hansen, American Association for Artificial Intelligence (AAAI) Press, Sydney, pp. 296-303.Year
2008ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified