satisfiability directed implication and learning
A heuristic survey propagation algorithm for solving QBF problems
scientific article; zbMATH DE number 6091520