Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Modern SAT Solvers (Part B)

  • Armin Biere (Vortragende*r)

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt

Zeitraum09 Feb. 2012
EreignistitelVienna Winter School on Verification
VeranstaltungstypKonferenz
OrtÖsterreichAuf Karte anzeigen

Wissenschaftszweige

  • 102 Informatik
  • 101 Mathematik
  • 102011 Formale Sprachen

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics