Stochastic Local Search over Minterms on Structured SAT Instances.

Wenxiang Chen L. Darrell Whitley Adele E. Howe Brian W. Goldman

Published in: SOCS (2016)

Keyphrases

stochastic local search
sat instances
satisfiability problem
random sat instances
sat solvers
randomly generated
sat problem
solving hard
phase transition
max sat
propositional satisfiability
computational properties
np complete
boolean satisfiability
branch and bound algorithm
temporal logic