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
|
![]() |
Eintrag anzeigen |