Towards an Efficient SAT Encoding for Temporal Reasoning

File Size Format
40653.pdf 191Kb Adobe PDF View
Title Towards an Efficient SAT Encoding for Temporal Reasoning
Author Pham, Duc Nghia; Thornton, John; Sattar, Abdul
Publication Title Principles and Practice of Constraint Programming - CP 2006
Editor Frédéric Benhamou
Year Published 2006
Publisher Springer-Verlag
Peer Reviewed Yes
Published Yes
Publisher URI http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-22-173681505-0
Copyright Statement Copyright 2006 Springer. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice