Elmar Stellnberger | Foto: privat

Dipl.-Ing. Elmar Stellnberger BSc.

  • Studium

    Masterstudium Angewandte Informatik

  • Abschlussarbeit

    Finding all Solutions to a CNF: The DualSat SAT Solver unentangled literal detection, conflict dependent and independent heuristic, backtracking with stack redo, dual data structures

  • Meine Studienzeit

    Mit Auszeichnung bestanden