Martin Suda

Martin Suda

Czech Technical University in Prague - Prague / Czech Republic
Engineering & Technology / Computer Science
AD Scientific Index ID: 1526272
Ceské vysoké ucení technické v Praze
person_outline Martin Suda's MOST POPULAR ARTICLES
1-) SPASS Version 3.5C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P WischnewskiInternational Conference on Automated Deduction, 140-145, 20093822009
2-) SAT competition 2020N Froleyks, M Heule, M Iser, M Järvisalo, M SudaArtificial Intelligence 301, 103572, 2021852021
3-) ENIGMA-NG: efficient neural and gradient-boosted inference guidance for EK Chvalovský, J Jakubův, M Suda, J UrbanAutomated Deduction–CADE 27: 27th International Conference on Automated …, 2019852019
4-) ENIGMA anonymous: Symbol-independent inference guiding machine (system description)J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J UrbanInternational Joint Conference on Automated Reasoning, 448-463, 2020752020
5-) Playing with AVATARG Reger, M Suda, A VoronkovInternational Conference on Automated Deduction, 399-415, 2015592015