Modelling and Solving Temporal Reasoning as Propositional Satisfiability

No Thumbnail Available
File version
Author(s)
Pham, Nghia
Thornton, John
Sattar, Abdul
Primary Supervisor
Other Supervisors
Editor(s)

Hnich, Brahim

Prosser, Patrick

Smith, Barbara

Date
2005
Size
File type(s)
Location

Sitges, Spain

License
Journal Title
Conference Title

Modelling and Reformulating Constraint Satisfaction Problems

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation