Login / Signup
Large plateaus and plateau search in Boolean Satisfiability problems: When to give up searching and start again.
Steven E. Hampson
Dennis F. Kibler
Published in:
Cliques, Coloring, and Satisfiability (1993)
Keyphrases
</>
satisfiability problem
search algorithm
phase transition
search strategies
stochastic local search
search strategy
hill climbing
temporal logic
search procedures
solving hard
np complete
heuristic search
conjunctive normal form
state space
combinatorial problems