| SPASS Version 3.5 C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009 | 396 | 2009 |
| ENIGMA-NG: efficient neural and gradient-boosted inference guidance for E K Chvalovský, J Jakubův, M Suda, J Urban Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 61 | 2019 |
| Playing with AVATAR G Reger, M Suda, A Voronkov Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 50 | 2015 |
| ENIGMA anonymous: Symbol-independent inference guiding machine (system description) J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 45 | 2020 |
| Selecting the selection K Hoder, G Reger, M Suda, A Voronkov Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 45 | 2016 |
| SAT competition 2018 MJH Heule, M Järvisalo, M Suda Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 133-154, 2019 | 44 | 2019 |
| New Techniques in Clausal Form Generation. G Reger, M Suda, A Voronkov GCAI 41, 11-23, 2016 | 40 | 2016 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 39 | 2019 |
| AVATAR modulo theories N Bjøner, G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 39-52, 2016 | 39 | 2016 |
| SAT competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021 | 34 | 2021 |
| A PLTL-prover based on labelled superposition with partial model guidance M Suda, C Weidenbach Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012 | 34 | 2012 |
| Property directed reachability for automated planning M Suda Journal of Artificial Intelligence Research 50, 265-319, 2014 | 30 | 2014 |
| On the saturation of YAGO M Suda, C Weidenbach, P Wischnewski Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 29 | 2010 |
| Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 28 | 2016 |
| Unification with abstraction and theory instantiation in saturation-based reasoning G Reger, M Suda, A Voronkov Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 25 | 2018 |
| A Clausal Normal Form Translation for FOOL. E Kotelnikov, L Kovács, M Suda, A Voronkov GCAI 41, 53-71, 2016 | 25 | 2016 |
| Lifting QBF resolution calculi to DQBF O Beyersdorff, L Chew, RA Schmidt, M Suda Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 21 | 2016 |
| External Sources of Axioms in Automated Theorem Proving. M Suda, G Sutcliffe, P Wischnewski, M Lamotte-Schubert, G De Melo KI 5803, 281-288, 2009 | 20 | 2009 |
| Layered Clause Selection for Theory Reasoning: (Short Paper) B Gleiss, M Suda Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 19 | 2020 |
| Progress Towards Effective Automated Reasoning with World Knowledge. G Sutcliffe, M Suda, A Teyssandier, N Dellis, G De Melo FLAIRS Conference, 110-115, 2010 | 18 | 2010 |
