Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics.
Takuya KuwaharaTakayuki KurodaManabu NakanoyaYutaka YakuwaHideyuki ShimonishiPublished in: CloudNet (2018)
Keyphrases
- search algorithm
- search strategies
- search methods
- web scale
- efficient search
- search effort
- search efficiency
- search strategy
- domain independent
- heuristic search
- belief revision
- search space
- lower bound
- information seeking
- search procedure
- macro operators
- branch and bound search
- declarative language
- search problems
- heuristic methods
- search queries
- keyword search
- solution space
- branch and bound
- tabu search
- knowledge representation