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

2008

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  13 November 2019 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers