A Theoretical Analysis of Search in GSAT.

Evgeny S. Skvortsov

Published in: SAT (2009)

Keyphrases

theoretical analysis
search algorithm
search methods
search strategies
numerical simulations
search strategy
satisfiability problem
randomly generated
search space
search efficiency
stochastic local search
knowledge base
digital libraries
random walk
search procedure
search tools