Depth-Driven Circuit-Level Stochastic Local Search for SAT.

Anton Belov Matti Järvisalo Zbigniew Stachniak

Published in: IJCAI (2011)

Keyphrases

stochastic local search
satisfiability problem
sat problem
combinatorial optimisation
phase transition
solving hard
randomly generated
sat instances
random sat instances
max sat
propositional satisfiability
np complete
evolutionary algorithm
constraint satisfaction problems
search tree
tree search