Approximations by OBDDs and the variable ordering problemKrause, Matthias ; Savický, Petr ; Wegener, Ingo
BASE:
Krause, Matthias
;
Savický, Petr
;
Wegener, Ingo
Google Scholar: Krause, Matthias ; Savický, Petr ; Wegener, Ingo Aufruf-StatistikSie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail Actions (login required)
|
|