Publications

Articles

International Journal Articles: 3

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]

2016

- Mikolas Janota and William Klieber and Joao Marques-Silva and Edmund Clarke, Solving QBF with Counterexample Guided Refinement , article in Artificial Intelligence vol. 234 pp. 1-25, May. 2016 [DOI Article link] [bibTex]
- Mikolas Janota and Joao Marques-Silva, On the Query Complexity of Selecting Minimal Sets for Monotone Predicates , article in vol. 233 pp. 73-83, Apr. 2016 [DOI Article link] [bibTex]

International Conferences: 4

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]

2016

- Xujie Si and Xin Zhang and Vasco Manquinho and Mikolas Janota and Alexey S. Ignatiev and Mayur Naik, On Incremental Core-Guided MaxSAT Solving, presented at International Conference Principles and Practice of Constraint Programming (CP 2016), Sep. 2016 [DOI Article link] [bibTex]
- Mikolas Janota, On Q-Resolution and CDCL QBF Solving , presented at Theory and Applications of Satisfiability Testing – SAT 2016, Jun. 2016 [DOI Article link] [bibTex]