Researcher Mikolas Janota wins the non-CNF track @ the QBFEVAL’17


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.

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.