|
Volumn 2003-January, Issue , 2003, Pages 210-220
|
A new effcient algorithm for solving the simple temporal problem
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTATION THEORY;
CONSTRAINT SATISFACTION PROBLEMS;
CONSTRAINT THEORY;
SEMANTICS;
TEMPORAL LOGIC;
TOPOLOGY;
ALGORITHM FOR SOLVING;
ARTICULATION POINTS;
CONSTRAINT PROPAGATION;
EMPIRICAL EVALUATIONS;
FLOYD-WARSHALL ALGORITHMS;
SEMANTIC PROPERTIES;
SIMPLE TEMPORAL PROBLEMS;
TOPOLOGICAL PROPERTIES;
ALGORITHMS;
|
EID: 84944046159
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/TIME.2003.1214898 Document Type: Conference Paper |
Times cited : (48)
|
References (14)
|