Travelled to:1 × Austria
1 × Finland
1 × USA
1 × United Kingdom
Collaborated with:∅ M.Heule A.Balint M.Henn
Talks about:sat (3) product (2) base (2) sls (2) framework (1) interpol (1) approach (1) satisfi (1) problem (1) heurist (1)
Person: Oliver Gableske
DBLP: Gableske:Oliver
Contributed to:
2014201320112009Wrote 4 papers:
- SAT-2014-Gableske #framework #satisfiability
- An Ising Model Inspired Extension of the Product-Based MP Framework for SAT (OG), pp. 367–383.
- SAT-2013-Gableske #heuristic #message passing #on the #satisfiability
- On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
- SAT-2011-GableskeH #named #random #satisfiability #using
- EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.
- SAT-2009-BalintHG #approach #novel #problem #satisfiability
- A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem (AB, MH, OG), pp. 284–297.