Improvements to satisfiability-based boolean function bi-decomposition | IEEE Conference Publication | IEEE Xplore