Local Search for Incremental Satisfiability.
Jose GutierrezAmol Dattatraya MaliPublished in: IC-AI (2002)
Keyphrases
- satisfiability testing
- stochastic local search
- propositional logic
- search algorithm
- satisfiability problem
- genetic algorithm
- search space
- incremental learning
- computational complexity
- search heuristics
- simulated annealing
- systematic search
- search strategies
- hybrid ga
- phase transition
- knowledge base
- np complete
- random sat instances
- explore the search space
- terminological reasoning
- incremental algorithms
- decision procedures
- global search
- global optimization
- data driven
- multi objective
- learning algorithm