Computer Science and Engineering, Department of
Date of this Version
2003
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.