Login / Signup
Running time experiments on some algorithms for solving propositional satisfiability problems.
Joachim Mayer
Ilse Mitterreiter
Franz Josef Radermacher
Published in:
Ann. Oper. Res. (1995)
Keyphrases
</>
satisfiability problem
stochastic local search
solving hard
propositional logic
stochastic local search algorithms
orders of magnitude
learning algorithm
combinatorial optimization
first order logic
search algorithm
np hard
phase transition
combinatorial problems
graph coloring problems