Computing, School of
School of Computing: Conference and Workshop Papers
Accessibility Remediation
If you are unable to use this item in its current form due to accessibility barriers, you may request remediation through our remediation request form.
Date of this Version
2003
Document Type
Article
Abstract
Motivation for Simple Temporal Problem (STP)
STP - TCSP - DTP
Consistency properties & algorithms
General CSPs
STP
Contributions
Use (improved) PPC for STP
Refine it into ΔSTP
Evaluation on random instances, 3 generators
Summary & new results
Comments
Xu & Choueiry in 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic (TIME-ICTL 03). Pages 212-222. Editors, Mark Reynolds and Abdul Sattar. Copyright 2003,IEEE Computer Society Press. Used by permission.