BDD based lambda set selection in Roth-Karp decomposition for LUT architecture. - Jie-Hong R. Jiang; Jing-Yang Jou; Juinn-Dar Huang; Jung-Shian Wei (ASP-DAC, 1997)