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:  16 January 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers