Partial Weighted MaxSAT for Optimal Planning


Robinson, N, Gretton, C, Pham, D et al 2010, 'Partial Weighted MaxSAT for Optimal Planning', 11th Pacific Rim International Conference on Artificial Intelligence, ed. Byoung-Tak Zhang and Mehmet A. Orgun, Springer, Daegu, Korea, pp. 231--243.



ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  05 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers