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
Publisher Published online
Peer Reviewed Yes
Published Yes
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Full Record

Griffith University copyright notice