| SPASS Version 3.5 C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski International Conference on Automated Deduction, 140-145, 2009 | 364 | 2009 |
| ENIGMA-NG: efficient neural and gradient-boosted inference guidance for E K Chvalovský, J Jakubův, M Suda, J Urban International Conference on Automated Deduction, 197-215, 2019 | 54 | 2019 |
| Playing with AVATAR G Reger, M Suda, A Voronkov International Conference on Automated Deduction, 399-415, 2015 | 47 | 2015 |
| Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016 | 42 | 2016 |
| New techniques in clausal form generation G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 11-23, 2016 | 36 | 2016 |
| SAT competition 2018 MJH Heule, M Järvisalo, M Suda Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 133-154, 2019 | 35 | 2019 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 32 | 2019 |
| A PLTL-prover based on labelled superposition with partial model guidance M Suda, C Weidenbach International Joint Conference on Automated Reasoning, 537-543, 2012 | 32 | 2012 |
| AVATAR modulo theories N Bjøner, G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 39-52, 2016 | 30 | 2016 |
| ENIGMA anonymous: Symbol-independent inference guiding machine (system description) J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban International Joint Conference on Automated Reasoning, 448-463, 2020 | 29 | 2020 |
| Property directed reachability for automated planning M Suda Journal of Artificial Intelligence Research 50, 265-319, 2014 | 28 | 2014 |
| On the saturation of YAGO M Suda, C Weidenbach, P Wischnewski International Joint Conference on Automated Reasoning, 441-456, 2010 | 28 | 2010 |
| Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov International Conference on Theory and Applications of Satisfiability …, 2016 | 27 | 2016 |
| A Clausal Normal Form Translation for FOOL. E Kotelnikov, L Kovács, M Suda, A Voronkov GCAI 41, 53-71, 2016 | 23 | 2016 |
| Unification with abstraction and theory instantiation in saturation-based reasoning G Reger, M Suda, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2018 | 20 | 2018 |
| External sources of axioms in automated theorem proving M Suda, G Sutcliffe, P Wischnewski, M Lamotte-Schubert, G Melo Annual Conference on Artificial Intelligence, 281-288, 2009 | 20 | 2009 |
| Lifting QBF resolution calculi to DQBF O Beyersdorff, L Chew, RA Schmidt, M Suda International Conference on Theory and Applications of Satisfiability …, 2016 | 18 | 2016 |
| Progress towards effective automated reasoning with world knowledge G Sutcliffe, M Suda, A Teyssandier, N Dellis, G De Melo Twenty-Third International FLAIRS Conference, 2010 | 18 | 2010 |
| Set of Support for Theory Reasoning. G Reger, M Suda IWIL@ LPAR, 2017 | 16 | 2017 |
| The Challenges of Evaluating a New Feature in Vampire. G Reger, M Suda, A Voronkov Vampire Workshop, 70-74, 2014 | 16 | 2014 |
