Abstract | ||
---|---|---|
We study an expressive quantitative temporal model: Disjunctive Temporal Problem (DTP), which was first proposed only in 1998 [5]. As extension of Temporal Constraint Satisfaction Problem (TCSP) [1], DTP differs from TCSP in that two disjuncts in a same disjunctive constraint do not necessarily refer to same temporal variables. Traditionally, most of the DTP algorithms in the literature solve DTPs by treating them as Constraint Satisfaction Problems (CSPs), and searching for solutions using standard CSP techniques, e.g. backtracking, back-jumping, forward checking, semantic branching, removal of subsumed variables, nogood recording [3, 5, 6], etc. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/TIME.2007.50 | TIME |
Keywords | Field | DocType |
constraint satisfaction problems,standard csp technique,disjunctive temporal problems,disjunctive constraint,expressive quantitative temporal model,dtp algorithm,temporal variable,disjunctive temporal problem,nogood recording,temporal constraint satisfaction,graph-based algorithm,spine,constraint satisfaction problem,artificial intelligence,constraint satisfaction,desktop publishing,disruption tolerant networking,forward checking,polynomials,sun,directed graphs,temporal logic | Clique,Computer science,Directed graph,Algorithm,Look-ahead,Constraint satisfaction problem,Theoretical computer science,Temporal logic,Time complexity,Backtracking,Digraph | Conference |
ISSN | ISBN | Citations |
1530-1311 | 0-7695-2836-8 | 0 |
PageRank | References | Authors |
0.34 | 6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yuechang Liu | 1 | 1 | 1.38 |
Hong Qian | 2 | 9 | 6.22 |
Yunfei Jiang | 3 | 158 | 13.17 |