Expansion-based QBF solving versus Q-resolution | Publicación