Computer Science and Engineering, Department of
Computer Science, Computer Engineering, and Bioinformatics: Conference and Workshop Papers
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.