Entwicklung eines SAT-Solvers.

Jannis Harder

Original languageGerman
QualificationBachelor of Science
Awarding Institution
  • University of Lübeck
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Liskiewicz, Maciej, Supervisor
Publication statusPublished - 2014
Externally publishedYes

Other files and links

Cite this