A Compact and Efficient SAT Encoding for Planning

File Size Format
51609_1.pdf 180Kb Adobe PDF View
Title A Compact and Efficient SAT Encoding for Planning
Author Robinson, Nathan Mark; Gretton, Charles; Pham, Duc Nghia; Sattar, Abdul
Publication Title Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS'08)
Editor Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, Eric Hansen
Year Published 2008
Publisher AAAI Press
Peer Reviewed Yes
Published Yes
Publisher URI http://www.aaai.org/Press/press.php
Alternative URI http://www.aaai.org/Press/Proceedings/icaps08.php
Copyright Statement Copyright 2008 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