Entwicklung eines SAT-Solvers.

Jannis Harder

OriginalspracheDeutsch
QualifikationBachelor of Science
Gradverleihende Hochschule
Betreuer/-in / Berater/-in
  • Leucker, Martin, Betreuer*in
  • Liskiewicz, Maciej, Betreuer*in
PublikationsstatusVeröffentlicht - 2014
Extern publiziertJa

Weitere Links

Zitieren