Dipl.-Inf. Oliver Gableske

Interessen

• SAT Solving
• Logik
• Kalküle

Lehre

Dowloads

Die im Folgenden verfügbare Software ist urheberrechtlich geschützt. Bitte beachten Sie die Lizenzbestimmungen, die den jeweiligen Programmen beiliegt.

1. EagleUP

   • EagleUP SAT solver (version 1.565.350, 320kB).EagleUP SAT solver description (180kB).

   • EagleUP SAT solver benchmark, structured instances (100MB), random instances with fixed ratio of 4.20 and 20000 to 30000 variables (520MB), random instances with variable ratios of 4.14 to 4.26 and 26000 variables (1GB).

   • EagleUP SAT solver benchmark evaluation results.The paper is available here.The slides of the POS workshop talk are available here

Publikationen

• Oliver Gableske, Marijn Heule: "EagleUP: Solving Random k-SAT using SLS with Unit Propagation" (two page abstract). In K.A. Sakallah and L. Simon (Eds.): SAT 2011, LNCS 6695, pp. 367--368. Springer, Heidelberg 2011.
  Oliver Gableske, Marijn Heule: "EagleUP: Solving Random k-SAT using SLS with Unit Propagation" (full paper). EasyChair proceedings of the Pragmatics of SAT workshop 2011 (POS11).
• Adrian Balint, Michael Henn, Oliver Gableske: "A novel approach to combine a SLS- and a DPLL-solver for the satisfiability problem". In Oliver Kullmann (Ed.). Theory and Applications of Satisfiability Testing -- SAT 2009, LNCS 5584, p. 284-297, Springer 2009.
• Oliver Gableske: "Towards the Development of a Hybrid SAT Solver", Diploma Thesis, Ulm University, January 2009.
• Oliver Gableske: "Order and Chaos - An overview of Organic Computing", Technical Report VS-R07-2007 "Forschungstrends im Bereich Verteilter Systeme", Ulm University, December 2007.

Preise

• Bronze, SAT 2009 Competition, Random SAT (hybridGM solver)
• Bronze, SAT 2011 Competition, Random SAT (EagleUP solver)

Sonstiges

• www.satcompetition.org Die Website zur SAT Competition
• www.gableske.net Private Internetseite (SOON^TM).