| Solving QBF with counterexample guided refinement M Janota, W Klieber, J Marques-Silva, E Clarke Artificial Intelligence 234, 1-25, 2016 | 330 | 2016 |
| On Computing Minimal Correction Subsets. J Marques-Silva, F Heras, M Janota, A Previti, A Belov IJCAI 13, 615-622, 2013 | 225 | 2013 |
| Minimal sets over monotone predicates in boolean formulae J Marques-Silva, M Janota, A Belov International Conference on Computer Aided Verification, 592-607, 2013 | 120 | 2013 |
| Playing with Quantified Satisfaction. NS Bjørner, M Janota LPAR (short papers) 35, 15-27, 2015 | 114 | 2015 |
| Expansion-based QBF solving versus Q-resolution M Janota, J Marques-Silva Theoretical Computer Science 577, 25-42, 2015 | 107 | 2015 |
| Solving QBF by Clause Selection. M Janota, J Marques-Silva IJCAI, 325-331, 2015 | 100 | 2015 |
| Abstraction-based algorithm for 2QBF M Janota, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2011 | 89 | 2011 |
| Reasoning about feature models in higher-order logic M Janota, J Kiniry 11th International Software Product Line Conference (SPLC 2007), 13-22, 2007 | 89 | 2007 |
| Proof complexity of resolution-based QBF calculi O Beyersdorff, L Chew, M Janota 32nd International Symposium on Theoretical Aspects of Computer Science …, 2015 | 88 | 2015 |
| Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015 | 86 | 2015 |
| Do SAT solvers make good configurators? M Janota SPLC (2), 191-195, 2008 | 77 | 2008 |
| On unification of QBF resolution-based calculi O Beyersdorff, L Chew, M Janota International Symposium on Mathematical Foundations of Computer Science, 81-93, 2014 | 74 | 2014 |
| Efficient model based diagnosis with maximum satisfiability J Marques-Silva, M Janota, A Ignatiev, A Morgado International Joint Conference on Artificial Intelligence 2015, 1966-1972, 2015 | 71 | 2015 |
| Quantified boolean formulas O Beyersdorff, M Janota, F Lonsing, M Seidl Handbook of Satisfiability, 1177-1221, 2021 | 68 | 2021 |
| On computing backbones of propositional theories J Marques-Silva, M Janota, I Lynce ECAI 2010, 15-20, 2010 | 65 | 2010 |
| SAT solving in interactive configuration M Janota University College Dublin, 2010 | 63 | 2010 |
| Formal approach to integrating feature and architecture models M Janota, G Botterweck International Conference on Fundamental Approaches to Software Engineering …, 2008 | 63 | 2008 |
| A design of a configurable feature model configurator G Botterweck, M Janota, D Schneeweiss University of Limerick, 2009 | 53 | 2009 |
| Towards generalization in QBF solving via machine learning M Janota Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 51 | 2018 |
| Minimal sets on propositional formulae. Problems and reductions J Marques-Silva, M Janota, C Mencia Artificial Intelligence 252, 22-50, 2017 | 48 | 2017 |
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
