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 http://dx.doi.org/10.1007/978-3-642-15246-7_23
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Full Record

Griffith University copyright notice