General Boolean Formula Minimization with QBF Solvers | Publicación