Login / Signup
A survey of the satisfiability-problems solving algorithms.
Yousef Kilani
Mohammad Bsoul
Ayoub Alsarhan
Ahmad Al-Khasawneh
Published in:
Int. J. Adv. Intell. Paradigms (2013)
Keyphrases
</>
satisfiability problem
stochastic local search
learning algorithm
combinatorial optimization
solving hard
orders of magnitude
np complete
objective function
search algorithm
stochastic local search algorithms
graph coloring problems