Follow
Martin Suda
Title
Cited by
Cited by
Year
SPASS Version 3.5
C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski
International Conference on Automated Deduction, 140-145, 2009
3642009
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
542019
Playing with AVATAR
G Reger, M Suda, A Voronkov
International Conference on Automated Deduction, 399-415, 2015
472015
Selecting the selection
K Hoder, G Reger, M Suda, A Voronkov
International Joint Conference on Automated Reasoning, 313-329, 2016
422016
New techniques in clausal form generation
G Reger, M Suda, A Voronkov
2nd Global Conference on Artificial Intelligence, 11-23, 2016
362016
SAT competition 2018
MJH Heule, M Jšrvisalo, M Suda
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 133-154, 2019
352019
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
322019
A PLTL-prover based on labelled superposition with partial model guidance
M Suda, C Weidenbach
International Joint Conference on Automated Reasoning, 537-543, 2012
322012
AVATAR modulo theories
N BjÝner, G Reger, M Suda, A Voronkov
2nd Global Conference on Artificial Intelligence, 39-52, 2016
302016
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
292020
Property directed reachability for automated planning
M Suda
Journal of Artificial Intelligence Research 50, 265-319, 2014
282014
On the saturation of YAGO
M Suda, C Weidenbach, P Wischnewski
International Joint Conference on Automated Reasoning, 441-456, 2010
282010
Finding finite models in multi-sorted first-order logic
G Reger, M Suda, A Voronkov
International Conference on Theory and Applications of Satisfiability†…, 2016
272016
A Clausal Normal Form Translation for FOOL.
E Kotelnikov, L KovŠcs, M Suda, A Voronkov
GCAI 41, 53-71, 2016
232016
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
202018
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
202009
Lifting QBF resolution calculi to DQBF
O Beyersdorff, L Chew, RA Schmidt, M Suda
International Conference on Theory and Applications of Satisfiability†…, 2016
182016
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
182010
Set of Support for Theory Reasoning.
G Reger, M Suda
IWIL@ LPAR, 2017
162017
The Challenges of Evaluating a New Feature in Vampire.
G Reger, M Suda, A Voronkov
Vampire Workshop, 70-74, 2014
162014
The system can't perform the operation now. Try again later.
Articles 1–20