A new effcient algorithm for solving the simple temporal problem

Author

Xu, Lin ; Choueiry, Berthe Y.

Author_Institution

University of Nebraska-Lincoln

fYear

2003

Firstpage

210

Lastpage

220

Keywords

Approximation algorithms; Computer networks; Logic; Optical propagation; Sufficient conditions; Time factors; Upper bound;

fLanguage

English

Publisher

ieee

Conference_Titel

Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on

ISSN

1530-1311

Print_ISBN

0-7695-1912-1

Type

DOI

10.1109/TIME.2003.1214898

Filename

1214898

Link To Document