Login / Signup
Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem.
Ming-Te Chao
John V. Franco
Published in:
Inf. Sci. (1990)
Keyphrases
</>
satisfiability problem
np complete
search algorithm
stochastic local search algorithms
stochastic local search
orders of magnitude
temporal logic
special case
search strategies
phase transition
decision procedures