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: AAAI (2022)
Keyphrases
- tree search
- disjunctive temporal
- graph search
- neural network
- temporal reasoning
- constraint satisfaction problems
- constraint propagation
- depth first search
- branch and bound
- game tree search
- search algorithm
- constraint satisfaction
- tree search algorithm
- artificial neural networks
- search tree
- search space
- iterative deepening
- genetic algorithm
- mathematical programming
- path finding
- combinatorial optimization
- game tree
- constraint programming
- np complete
- state space
- lower bound
- multi dimensional
- special case
- learning algorithm