A dichotomy theorem for learning quantified Boolean formulas | Publicación