Incremental Algorithms for Local Search from Existential Second-Order Logic.
Magnus ÅgrenPierre FlenerJustin PearsonPublished in: CP (2005)
Keyphrases
- incremental algorithms
- incremental update
- search algorithm
- temporal constraints
- higher order
- simulated annealing
- search space
- logic programming
- tabu search
- genetic algorithm
- optimal solution
- query answering
- evolutionary algorithm
- automated reasoning
- multi valued
- proof theory
- special case
- combinatorial optimization
- global search
- databases