Better algorithms for satisfiability problems for formulas of bounded rank-width

Robert Ganian Petr Hlinený Jan Obdrzálek

Published in: CoRR (2010)

Keyphrases

satisfiability problem
learning algorithm
computational complexity
optimization problems
stochastic local search
search algorithm
search space
np complete
orders of magnitude
lower bound
evolutionary algorithm
stochastic local search algorithms