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.