Oliver Gableske

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Message Passing

Stochastic Local Search Algorithms

Top Venues

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Oliver Gableske
An Ising Model Inspired Extension of the Product-Based MP Framework for SAT. SAT (2014)
Oliver Gableske
On the Interpolation between Product-Based Message Passing Heuristics for SAT. SAT (2013)
Oliver Gableske, Marijn Heule
EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation. SAT (2011)
Adrian Balint, Michael Henn, Oliver Gableske
A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem. SAT (2009)