| SPASS Version 3.5 C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski International Conference on Automated Deduction, 140-145, 2009 | 332 | 2009 |
| Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016 | 39 | 2016 |
| Playing with AVATAR G Reger, M Suda, A Voronkov International Conference on Automated Deduction, 399-415, 2015 | 37 | 2015 |
| 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 | 32 | 2019 |
| New Techniques in Clausal Form Generation. G Reger, M Suda, A Voronkov GCAI 41, 11-23, 2016 | 32 | 2016 |
| 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 G Reger, N Bjorner, M Suda, A Voronkov EPiC Series in Computing 41, 39-52, 2016 | 28 | 2016 |
| On the saturation of YAGO M Suda, C Weidenbach, P Wischnewski International Joint Conference on Automated Reasoning, 441-456, 2010 | 27 | 2010 |
| Property directed reachability for automated planning M Suda Journal of Artificial Intelligence Research 50, 265-319, 2014 | 25 | 2014 |
| Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov International Conference on Theory and Applications of Satisfiability …, 2016 | 22 | 2016 |
| Lifting QBF resolution calculi to DQBF O Beyersdorff, L Chew, RA Schmidt, M Suda International Conference on Theory and Applications of Satisfiability …, 2016 | 19 | 2016 |
| 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 | 18 | 2019 |
| SAT competition 2018 MJH Heule, M Järvisalo, M Suda Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 133-154, 2019 | 18 | 2019 |
| External sources of axioms in automated theorem proving M Suda, G Sutcliffe, P Wischnewski, M Lamotte-Schubert, G De Melo Annual Conference on Artificial Intelligence, 281-288, 2009 | 18 | 2009 |
| 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 | 17 | 2018 |
| Progress Towards Effective Automated Reasoning with World Knowledge. G Sutcliffe, M Suda, A Teyssandier, N Dellis, G De Melo FLAIRS Conference, 110-115, 2010 | 17 | 2010 |
| Set of Support for Theory Reasoning. G Reger, M Suda IWIL@ LPAR, 2017 | 15 | 2017 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 13 | 2018 |
| The Challenges of Evaluating a New Feature in Vampire. G Reger, M Suda, A Voronkov Vampire Workshop, 70-74, 2014 | 13 | 2014 |
| MaxSAT Evaluation 2020: Solver and Benchmark Descriptions F Bacchus, J Berg, M Järvisalo, R Martins University of Helsinki, Department of Computer Science, 2020 | 12 | 2020 |
