Title :
A new effcient algorithm for solving the simple temporal problem
Author :
Xu, Lin ; Choueiry, Berthe Y.
Author_Institution :
University of Nebraska-Lincoln
Keywords :
Approximation algorithms; Computer networks; Logic; Optical propagation; Sufficient conditions; Time factors; Upper bound;
Conference_Titel :
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
Print_ISBN :
0-7695-1912-1
DOI :
10.1109/TIME.2003.1214898
