Area-driven Boolean bi-decomposition by function approximation | Publicación