Mikolas Janota created the Quantified Boolean Formulas (QBF) solver named QFUN, that won the non-CNF track @ the QBFEVAL’17.
QBF Evaluations are a series of yearly events with the purpose of assessing the state of the art in the field of QBF solvers and QBF-based applications. http://www.qbflib.org/solver_view_domain.php?year=2017&track=2

The article about the solver “Towards Generalization in QBF Solving via Machine Learning” was recently accepted at the conference AAAI 2018 – Thirty-Second AAAI Conference on Artificial Intelligence, that will take place at New Orleans on February 2018.