Login / Signup

On the Probabilistic Performance of Algorithms for the Satisfiability Problem.

John V. Franco
Published in: Inf. Process. Lett. (1986)
Keyphrases
  • satisfiability problem
  • np complete
  • stochastic local search algorithms
  • stochastic local search
  • bayesian networks
  • optimization problems
  • orders of magnitude
  • constraint satisfaction