Login / Signup

Convergence Properties of Optimization Algorithms for the SAT Problem.

Jun GuQian-Ping GuDing-Zhu Du
Published in: IEEE Trans. Computers (1996)
Keyphrases
  • optimization problems
  • sat problem
  • stochastic local search
  • data structure
  • global convergence
  • learning algorithm
  • orders of magnitude
  • cellular automata
  • convergence rate