Modelling and Solving Temporal Reasoning as Satisfiability

There are no files associated with this record.

Title Modelling and Solving Temporal Reasoning as Satisfiability
Author Pham, Duc Nghia; Thornton, John; Sattar, Abdul
Publication Title Modelling and Reformulating Constraint Satisfaction Problems
Editor Brahim Hnich, Patrick Prosser and Barbara Smith
Year Published 2005
Place of publication URL: http://4c.ucc.ie/~brahim/mod-proc.pdf
Publisher Published online
Peer Reviewed Yes
Published Yes
Conference name Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems
Location Sitges, Spain
Date From 2005-10-01
Date To 2005-10-01
URI http://hdl.handle.net/10072/2595
Date Accessioned 2006-03-15
Date Available 2007-03-21T21:28:41Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Brief Record

Griffith University copyright notice