A Dichotomy Theorem for Learning Quantified Boolean Formulas

Dalmau. "A Dichotomy Theorem for Learning Quantified Boolean Formulas." Annual Conference on Computational Learning Theory, 1997. doi:10.1145/267460.267496

[Dalmau. "A Dichotomy Theorem for Learning Quantified Boolean Formulas." Annual Conference on Computational Learning Theory, 1997.](https://mlanthology.org/colt/1997/dalmau1997colt-dichotomy/) doi:10.1145/267460.267496

@inproceedings{dalmau1997colt-dichotomy,
  title     = {{A Dichotomy Theorem for Learning Quantified Boolean Formulas}},
  author    = {Dalmau, Víctor},
  booktitle = {Annual Conference on Computational Learning Theory},
  year      = {1997},
  pages     = {193-200},
  doi       = {10.1145/267460.267496},
  url       = {https://mlanthology.org/colt/1997/dalmau1997colt-dichotomy/}
}