Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.

Frank Hutter Dave A. D. Tompkins Holger H. Hoos

Published in: CP (2002)

Keyphrases

satisfiability testing
dynamic environments
search strategies
bayesian networks
evolutionary algorithm
context sensitive
search procedures
computational complexity
probabilistic model
computationally efficient
tabu search
phase transition
satisfiability problem
memetic algorithm
systematic search