Publications

Articles

International Journal Articles: 1

2017

- Joao-Marques-Silva and Mikolas Janota and Carlos Mencia, Minimal sets on propositional formulae. Problems and reductions , article in , Nov. 2017 [DOI Article link] [bibTex]

International Conferences: 2

2018

- Mikolas Janota, Towards Generalization in QBF Solving via Machine Learning , presented at Thirty-Second AAAI Conference on Artificial Intelligence , Apr. 2018 [bibTex]

2017

- Mikolas Janota and Joao-Marques-Silva, An Achilles' Heel of Term-Resolution, presented at EPIA Conference on Artificial Intelligence, Aug. 2017 [DOI Article link] [bibTex]