About the author

Towards Generalization in QBF Solving via Machine Learning

Mikoláš Janota
http://sat.inesc-id.pt/~mikolas
INESC-ID/IST, University of Lisbon
Portugal