Huan Chen 0001, João Marques-Silva. Improvements to satisfiability-based boolean function bi-decomposition. In IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011, Kowloon, Hong Kong, China, October 3-5, 2011. pages 142-147, IEEE, 2011. [doi]
Abstract is missing.