Improvements to Satisfiability-Based Boolean Function Bi-Decomposition | Publicación