Login / Signup
Convergence Properties of Optimization Algorithms for the SAT Problem.
Jun Gu
Qian-Ping Gu
Ding-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