QBF-boolean-minimization