Solving Disjunctive Temporal Networks with Uncertainty under Restricted Time-Based Controllability using Tree Search and Graph Neural Networks.
Kevin OsanlouJeremy FrankAndrei BursucTristan CazenaveEric JacopinChristophe GuettierJ. BentonPublished in: CoRR (2022)
Keyphrases
- tree search
- disjunctive temporal
- graph search
- constraint satisfaction problems
- neural network
- temporal reasoning
- constraint propagation
- depth first search
- branch and bound
- game tree search
- search algorithm
- temporal constraints
- mathematical programming
- constraint satisfaction
- search tree
- constraint programming
- tree search algorithm
- path finding
- state space
- iterative deepening
- combinatorial optimization
- search space
- artificial neural networks
- search strategies
- game tree
- np complete
- upper bound
- cost function
- lower bound
- objective function