Ver Post

Prof. Mikoláš Janota ganhou a non-CNF track da competição Quantified Boolean Formulas (QBF)

6 Dezembro 2017, 16:28 - Rui Orlando Magalhães Ribeiro



O Prof. Mikoláš Janota ganhou a non-CNF track da competição Quantified Boolean Formulas (QBF) com o classificador QFUN.

O trabalho está descrito num artigo aceite para o AAAI'2018 (um congresso de topo na área de Inteligência Artificial) com o título: "Towards Generalization in QBF Solving via Machine Learning"