Cost-Optimal Planning using Weighted MaxSAT

File Size Format
64080_1.pdf 214Kb Adobe PDF View
Title Cost-Optimal Planning using Weighted MaxSAT
Author Robinson, Nathan Mark; Gretton, Charles; Pham, Duc Nghia; Sattar, Abdul
Publication Title 20th International Conference on Automated Planning and Scheduling: COPLAS'10 Auxiliary Proceedings
Editor Miguel A. Salido, Roman Bartak, and Neil Yorke-Smith
Year Published 2010
Publisher The AAAI Press
Peer Reviewed Yes
Published Yes
Publisher URI
Alternative URI
Copyright Statement Copyright 2010 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to conference website.
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