Combining Adaptive and Dynamic Local Search for Satisfiability.
Duc Nghia PhamJohn ThorntonCharles GrettonAbdul SattarPublished in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
- satisfiability testing
- dynamically adjust
- dynamic environments
- search algorithm
- genetic algorithm
- combinatorial optimization
- satisfiability problem
- stochastic local search
- decision trees
- search space
- multi objective
- simulated annealing
- np complete
- data sets
- orders of magnitude
- propositional logic
- quantified boolean formulas