Learning to Solve QBF

Samulowitz and Memisevic. "Learning to Solve QBF." AAAI Conference on Artificial Intelligence, 2007.

[Samulowitz and Memisevic. "Learning to Solve QBF." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/samulowitz2007aaai-learning/)

@inproceedings{samulowitz2007aaai-learning,
  title     = {{Learning to Solve QBF}},
  author    = {Samulowitz, Horst and Memisevic, Roland},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {255-260},
  url       = {https://mlanthology.org/aaai/2007/samulowitz2007aaai-learning/}
}