Improvements to satisfiability-based boolean function bi-decomposition | Publicación