Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Local Minimization of And-Inverter Graphs

  • Armin Biere (Vortragende*r)

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

Zeitraum25 Sep. 2006
Ereignistitel2nd Guangzhou Symposium on Satisfiability in Logical-Based Modeling
VeranstaltungstypKonferenz
OrtChinaAuf Karte anzeigen

Wissenschaftszweige

  • 102 Informatik

Dokumente & Verweise