ML Anthology

Learning for Quantified Boolean Logic Satisfiability

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
AAAI 2002 pp. 649-654
/aaai/2002/giunchiglia2002aaai-learning/
PDF AAAI Semantic Scholar

Cite

Text

Giunchiglia et al. "Learning for Quantified Boolean Logic Satisfiability." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Giunchiglia et al. "Learning for Quantified Boolean Logic Satisfiability." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/giunchiglia2002aaai-learning/)

BibTeX

@inproceedings{giunchiglia2002aaai-learning,
  title     = {{Learning for Quantified Boolean Logic Satisfiability}},
  author    = {Giunchiglia, Enrico and Narizzano, Massimo and Tacchella, Armando},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {649-654},
  url       = {https://mlanthology.org/aaai/2002/giunchiglia2002aaai-learning/}
}