Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence.
Saad AttiehNguyen DangChristopher JeffersonIan MiguelPeter NightingalePublished in: IJCAI (2019)
Keyphrases
- high level
- low level
- higher level
- search algorithm
- hard constraints
- lower level
- genetic algorithm
- state machines
- search space
- visual features
- combinatorial optimization
- memetic algorithm
- programming language
- np complete
- low level features
- linear constraints
- data sets
- tabu search
- soft constraints
- specification language
- search procedures
- image sequences
- neighborhood search