Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width.

Robert Ganian Petr Hlinený Jan Obdrzálek

Published in: Fundam. Informaticae (2013)

Keyphrases

satisfiability problem
stochastic local search
stochastic local search algorithms
learning algorithm
reinforcement learning
np complete
search algorithm
multi agent systems
computational complexity
orders of magnitude
combinatorial optimization
temporal logic
practical problems
solving hard