Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Encoding, Solving, and Benchmarking for SAT and Extensions

Publikation: AbschlussarbeitenDissertation

OriginalspracheEnglisch
Betreuung / Begutachtung
  • Biere, Armin, Betreuer*in
  • Seidl, Martina, Betreuer*in
PublikationsstatusVeröffentlicht - 2024

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 102 Informatik
  • 102001 Artificial Intelligence
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102030 Semantische Technologien
  • 102031 Theoretische Informatik
  • 603109 Logik

JKU-Schwerpunkte

  • Digital Transformation

Dieses zitieren