@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}
}