Towards Generalization in QBF Solving via Machine Learning
JANOTA, M..
Towards Generalization in QBF Solving via Machine Learning.
AAAI Conference on Artificial Intelligence, North America,
apr. 2018. Available at: <https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16945>. Date accessed: 29 Mar. 2019.