QBF-based boolean function Bi-decomposition | Publicación