Thomas M. Weis

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Christoph Scholl, Bernd Becker, Thomas M. Weis
On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. Formal Methods Syst. Des. 20 (3) (2002)
Christoph Scholl, Bernd Becker, Thomas M. Weis
Word-level decision diagrams, WLCDs and division. ICCAD (1998)