Travelled to:1 × USA
Collaborated with:C.Meinel F.Somenzi
Talks about:diagram (1) linear (1) decis (1) sift (1)
Person: Thorsten Theobald
DBLP: Theobald:Thorsten
Contributed to:
Wrote 1 papers:
- DAC-1997-MeinelST #diagrams #linear
- Linear Sifting of Decision Diagrams (CM, FS, TT), pp. 202–207.












