Declarative Local-Search Neighbourhoods in MiniZinc.
Gustav BjördalPierre FlenerJustin PearsonPeter J. StuckeyGuido TackPublished in: ICTAI (2018)
Keyphrases
- search algorithm
- genetic algorithm
- simulated annealing
- search space
- tabu search
- global search
- high level
- knowledge representation
- declarative language
- hill climbing
- memetic algorithm
- domain independent
- neighborhood search
- search strategies
- hybrid ga
- systematic search
- satisfiability testing
- combinatorial optimization
- convergence speed
- real time
- attribute grammars
- learning algorithm
- multimodal function optimization