(1)
Janota, M. Towards Generalization in QBF Solving via Machine Learning. AAAI 2018, 32.