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
Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009
4272009
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
842019
SAT competition 2020
N Froleyks, M Heule, M Iser, M Järvisalo, M Suda
Artificial Intelligence 301, 103572, 2021
832021
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
712020
SAT competition 2018
MJH Heule, M Järvisalo, M Suda
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 133-154, 2019
562019
Selecting the selection
K Hoder, G Reger, M Suda, A Voronkov
International Joint Conference on Automated Reasoning, 313-329, 2016
562016
Playing with AVATAR
G Reger, M Suda, A Voronkov
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
552015
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
492019
AVATAR modulo theories
N Bjøner, G Reger, M Suda, A Voronkov
2nd Global Conference on Artificial Intelligence, 39-52, 2016
432016
New Techniques in Clausal Form Generation.
G Reger, M Suda, A Voronkov
GCAI 41, 11-23, 2016
422016
A PLTL-prover based on labelled superposition with partial model guidance
M Suda, C Weidenbach
Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012
402012
Property directed reachability for automated planning
M Suda
Journal of Artificial Intelligence Research 50, 265-319, 2014
382014
Finding finite models in multi-sorted first-order logic
G Reger, M Suda, A Voronkov
International Conference on Theory and Applications of Satisfiability …, 2016
342016
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
332018
On the saturation of YAGO
M Suda, C Weidenbach, P Wischnewski
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
312010
Improving ENIGMA-style clause selection while learning from history
M Suda
Automated Deduction–CADE 28: 28th International Conference on Automated …, 2021
302021
Layered Clause Selection for Theory Reasoning: (Short Paper)
B Gleiss, M Suda
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
262020
A Clausal Normal Form Translation for FOOL.
E Kotelnikov, L Kovács, M Suda, A Voronkov
GCAI 41, 53-71, 2016
262016
Lifting QBF resolution calculi to DQBF
O Beyersdorff, L Chew, RA Schmidt, M Suda
International Conference on Theory and Applications of Satisfiability …, 2016
252016
Proceedings of sat competition 2020: Solver and benchmark descriptions
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
Department of Computer Science, University of Helsinki, 2020
222020
The system can't perform the operation now. Try again later.
Articles 1–20