Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

SAT in Formal Hardware Verification

  • Armin Biere (Vortragende*r)

Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › unbekannt

Zeitraum20 Juni 2005
Ereignistitel8th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2005)
VeranstaltungstypKonferenz
OrtGroßbritannien/Vereinigtes KönigreichAuf Karte anzeigen

Wissenschaftszweige

  • 202006 Computer Hardware
  • 603109 Logik
  • 102 Informatik
  • 102031 Theoretische Informatik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence