Login / Signup

Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem.

Ming-Te ChaoJohn V. Franco
Published in: SIAM J. Comput. (1986)
Keyphrases
  • satisfiability problem
  • temporal logic
  • stochastic local search algorithms
  • search algorithm
  • np complete
  • decision procedures
  • query language
  • heuristic search
  • numerical analysis
  • stochastic local search