A Compact and Efficient SAT Encoding for Planning


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.



ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  24 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers