Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige 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üft:Bibliothek

Autoren

Meinel, Christoph (Beteiligte Person)

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften