Structurally synthesized binary decision diagrams
Jutman, Artur
;
Peder, Ahti
;
Raik, Jaan
;
Tombak, Mati
;
Ubar, Raimund-Johannes
Boolean Problems : 6th International Workshop : September 23-24, 2004, Freiberg
2004
/
p. 271-278 : ill