An Evolutionary Local Search Method for Incremental Satisfiability.
Mohamed El-bachir MenaiPublished in: AISC (2004)
Keyphrases
- high accuracy
- objective function
- combinatorial optimization
- high precision
- significant improvement
- experimental evaluation
- data sets
- similarity measure
- detection method
- clustering method
- prior knowledge
- cost function
- dynamic programming
- propositional logic
- input data
- simulated annealing
- computational cost
- search space
- preprocessing
- computational complexity
- search algorithm
- genetic algorithm