Partial Weighted MaxSAT for Optimal Planning

There are no files associated with this record.

Title Partial Weighted MaxSAT for Optimal Planning
Author Robinson, Nathan; Gretton, Charles; Pham, Duc Nghia; Sattar, Abdul
Publication Title 11th Pacific Rim International Conference on Artificial Intelligence
Editor Byoung-Tak Zhang, Mehmet A. Orgun
Year Published 2010
Publisher Springer
Peer Reviewed Yes
Published Yes
Alternative URI
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice