Word-level decision diagrams, WLCDs and division. - Christoph Scholl 001; Bernd Becker 001; Thomas M. Weis (ICCAD, 1998)

On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. - Christoph Scholl 001; Bernd Becker 001; Thomas M. Weis (Formal Methods Syst. Des., 2002)