Oliver Gableske

According to our database, Oliver Gableske authored at least 5 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

SAT solving with message passing.

Oliver Gableske

PhD thesis, 2016

2014

An Ising Model Inspired Extension of the Product-Based MP Framework for SAT.

Oliver Gableske

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

On the Interpolation between Product-Based Message Passing Heuristics for SAT.

Oliver Gableske

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2011

EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation.

Oliver Gableske, Marijn Heule

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2009

A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem.

Adrian Balint, Michael Henn, Oliver Gableske

Proceedings of the Theory and Applications of Satisfiability Testing, 2009