Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms.
Markus AndersPascal SchweitzerPublished in: CoRR (2020)
Keyphrases
- search problems
- orders of magnitude
- data structure
- heuristic search
- graph search
- search algorithm
- solving hard
- search strategies
- tree structure
- learning algorithm
- domain specific
- active learning
- computational complexity
- combinatorial optimization
- reinforcement learning
- heuristic search algorithms
- information retrieval
- parallel processors
- machine learning