Rapid Construction of Safe Search-Trees for Spacecraft Attitude Planning.
Claus DanielsonJoseph KloeppelPublished in: ACC (2023)
Keyphrases
- search tree
- mission planning
- optimal plans
- search algorithm
- sat solving
- search space
- heuristic function
- branch and bound algorithm
- binary search trees
- heuristic search
- b tree
- tree search
- attitudes toward
- planning problems
- symmetry breaking
- root node
- branching factor
- database
- combinatorial optimization
- optimization problems
- information retrieval systems
- databases