Modelling and Solving Temporal Reasoning as Propositional Satisfiability

Author(s)
Pham, Nghia
Thornton, John
Sattar, Abdul
Griffith University Author(s)
Year published
2005
Metadata
Show full item record
Conference Title
Modelling and Reformulating Constraint Satisfaction Problems
Publication URI
Collection