QBf-based boolean function bi-decomposition | Publicación