A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem. - Adrian Balint; Michael Henn; Oliver Gableske (SAT, 2009)

EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation. - Oliver Gableske; Marijn Heule (SAT, 2011)

On the Interpolation between Product-Based Message Passing Heuristics for SAT. - Oliver Gableske (SAT, 2013)

An Ising Model Inspired Extension of the Product-Based MP Framework for SAT. - Oliver Gableske (SAT, 2014)

SAT solving with message passing. - Oliver Gableske (2016)