Anzahl der Einträge: 1.
1999
|
Krause, Matthias ; Savický, Petr ; Wegener, Ingo
Approximations by OBDDs and the variable ordering problem.
Wiedermann, Jiri
Lecture Notes in Computer Science
1644
Nr.164
493-502
In: Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republik, July 11 - 15, 1999; proceedings
(1999)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Thu Nov 21 01:43:12 2024 CET automatisch erstellt.
