@inproceedings{LearningQBF, author = {Horst Samulowitz and Roland Memisevic}, title = {Learning to Solve QBF}, booktitle = {Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence}, year = {2007}, pages = {255-260}, publisher = {AAAI Press}, address = {Vancouver, British Columbia, Canada} }