Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Do we really need common variable orders for synthesizing OBDDs?

Trier: Univ., Mathematik/Informatik 1998 6 S. (Trierer Forschungsberichte ; Nr. 98-29)

Erscheinungsjahr: 1998

Publikationstyp: Buch

Sprache: Englisch

GeprüftBibliothek

Autoren

Meinel, Christoph (Beteiligte Person)

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften