Authors: Kalla, P Zeng, ZH Ciesielski, MJ

Citation: P. Kalla et al., Strategies for solving the Boolean satisfiability problem using binary decision diagrams, J SYST ARCH, 47(6), 2001, pp. 491-503