Hybrid Planning by Combining SMT and Simulated Annealing.
Jaroslaw SkaruzArtur NiewiadomskiWojciech PenczekPublished in: CS&P (2015)
Keyphrases
- simulated annealing
- simulated annealing algorithm
- optimization method
- planning problems
- evolutionary algorithm
- genetic algorithm ga
- goal oriented
- motion planning
- tabu search
- planning process
- search algorithm
- action selection
- domain independent
- metaheuristic
- natural language
- statistical machine translation
- genetic algorithm
- planning systems
- mixed initiative
- machine translation system
- ai planning
- solution quality
- production planning
- planning domains
- plan recognition
- hill climbing
- global optimum
- data sets
- heuristic search
- objective function
- artificial intelligence
- neural network