Edit Profile (opens in new tab) Suda, Martin Compute Distance To: Compute Author ID: suda.martin Published as: Suda, Martin Documents Indexed: 33 Publications since 2005 Co-Authors: 33 Co-Authors with 25 Joint Publications 550 Co-Co-Authors all top 5 Co-Authors 5 single-authored 6 Reger, Giles 5 Voronkov, Andrei 3 Gleiss, Bernhard 3 Weidenbach, Christoph 2 Beyersdorff, Olaf 2 Chew, Leroy 2 Chvalovský, Karel 2 Fedrizzi, Andreas 2 Jakubův, Jan 2 Kiesl, Benjamin 2 Lorünser, Thomas 2 Nölle, Michael 2 Pacher, Christoph 2 Poppe, A. 2 Schmidt, Renate A. 2 Urban, Josef 2 Ursin, Rupert 2 Zeilinger, Anton 1 Bártek, Filip 1 Biere, Armin 1 Blinkhorn, Joshua 1 Dißauer, Gerald 1 Dušek, Miloslav 1 Froleyks, Nils 1 Heule, Marijn J. H. 1 Hipp, Florian 1 Hoder, Kryštof 1 Iser, Markus 1 Janota, Mikoláš 1 Järvisalo, Matti 1 Kollmitzer, Christian 1 Kovács, Laura Ildikó 1 Maurhardt, O. 1 Maurhart, Oliver 1 Mehic, Miralem 1 Olšák, Miroslav 1 Petscharnig, Stefan 1 Piotrowski, Bartosz 1 Rebola-Pardo, Adrián 1 Riener, Martin 1 Schauer, Stefan 1 Seidl, Martina 1 Tompits, Hans 1 Wischnewski, Patrick all top 5 Serials 3 International Journal of Quantum Information 1 Artificial Intelligence 1 Journal of Automated Reasoning 1 The Journal of Artificial Intelligence Research (JAIR) 1 Quantum Information Processing 1 Mathematics in Computer Science all top 5 Fields 26 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 5 Quantum theory (81-XX) 4 Information and communication theory, circuits (94-XX) 1 Numerical analysis (65-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 24 Publications have been cited 99 times in 70 Documents Cited by ▼ Year ▼ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\). Zbl 07178977Chvalovský, Karel; Jakubův, Jan; Suda, Martin; Urban, Josef 15 2019 Playing with AVATAR. Zbl 1465.68295Reger, Giles; Suda, Martin; Voronkov, Andrei 13 2015 On the saturation of YAGO. Zbl 1291.68372Suda, Martin; Weidenbach, Christoph; Wischnewski, Patrick 11 2010 Selecting the selection. Zbl 1475.68436Hoder, Kryštof; Reger, Giles; Suda, Martin; Voronkov, Andrei 9 2016 A PLTL-prover based on labelled superposition with partial model guidance. Zbl 1358.68266Suda, Martin; Weidenbach, Christoph 8 2012 Unification with abstraction and theory instantiation in saturation-based reasoning. Zbl 1423.68424Reger, Giles; Suda, Martin; Voronkov, Andrei 6 2018 A novel protocol-authentication algorithm ruling out a man-in-the middle attack in quantum cryptography. Zbl 1066.94015Peev, M.; Nölle, M.; Maurhardt, O.; Lorünser, T.; Suda, M.; Poppe, A.; Ursin, R.; Fedrizzi, A.; Zeilinger, A. 6 2005 Blocked clauses in first-order logic. Zbl 1403.68240Kiesl, Benjamin; Suda, Martin; Seidl, Martina; Tompits, Hans; Biere, Armin 5 2017 A unifying principle for clause elimination in first-order logic. Zbl 1496.03048Kiesl, Benjamin; Suda, Martin 4 2017 Reinterpreting dependency schemes: soundness meets incompleteness in DQBF. Zbl 1468.03008Beyersdorff, Olaf; Blinkhorn, Joshua; Chew, Leroy; Schmidt, Renate; Suda, Martin 3 2019 Finding finite models in multi-sorted first-order logic. Zbl 1475.68447Reger, Giles; Suda, Martin; Voronkov, Andrei 3 2016 Lifting QBF resolution calculi to DQBF. Zbl 1475.68431Beyersdorff, Olaf; Chew, Leroy; Schmidt, Renate A.; Suda, Martin 3 2016 SAT competition 2020. Zbl 1478.68320Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin 3 2021 Layered clause selection for theory reasoning (short paper). Zbl 07614525Gleiss, Bernhard; Suda, Martin 3 2020 Property directed reachability for automated planning. Zbl 1361.68208Suda, Martin 2 2014 Local soundness for QBF calculi. Zbl 06916309Suda, Martin; Gleiss, Bernhard 2 2018 A theory of satisfiability-preserving proofs in SAT solving. Zbl 1415.68203Rebola-Pardo, Adrián; Suda, Martin 2 2018 Response to “Vulnerability of ‘A novel protocol-authentication algorithm ruling out a man-in-the-middle attack in quantum cryptography”’. Zbl 1182.94045Peev, M.; Pacher, C.; Lorünser, T.; Nölle, M.; Poppe, A.; Maurhart, O.; Suda, M.; Fedrizzi, A.; Ursin, R.; Zeilinger, A. 2 2009 Labelled superposition for PLTL. Zbl 1352.68164Suda, Martin; Weidenbach, Christoph 2 2012 Towards smarter MACE-style model finders. Zbl 1415.68194Janota, Mikoláš; Suda, Martin 1 2018 A novel attack strategy on entanglement swapping QKD protocols. Zbl 1153.81474Schauer, Stefan; Suda, Martin 1 2008 Symmetry avoidance in MACE-style finite model finding. Zbl 1435.68305Reger, Giles; Riener, Martin; Suda, Martin 1 2019 Variable and clause elimination for LTL satisfiability checking. Zbl 1341.68197Suda, Martin 1 2015 Improving ENIGMA-style clause selection while learning from history. Zbl 07437099Suda, Martin 1 2021 SAT competition 2020. Zbl 1478.68320Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin 3 2021 Improving ENIGMA-style clause selection while learning from history. Zbl 07437099Suda, Martin 1 2021 Layered clause selection for theory reasoning (short paper). Zbl 07614525Gleiss, Bernhard; Suda, Martin 3 2020 ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\). Zbl 07178977Chvalovský, Karel; Jakubův, Jan; Suda, Martin; Urban, Josef 15 2019 Reinterpreting dependency schemes: soundness meets incompleteness in DQBF. Zbl 1468.03008Beyersdorff, Olaf; Blinkhorn, Joshua; Chew, Leroy; Schmidt, Renate; Suda, Martin 3 2019 Symmetry avoidance in MACE-style finite model finding. Zbl 1435.68305Reger, Giles; Riener, Martin; Suda, Martin 1 2019 Unification with abstraction and theory instantiation in saturation-based reasoning. Zbl 1423.68424Reger, Giles; Suda, Martin; Voronkov, Andrei 6 2018 Local soundness for QBF calculi. Zbl 06916309Suda, Martin; Gleiss, Bernhard 2 2018 A theory of satisfiability-preserving proofs in SAT solving. Zbl 1415.68203Rebola-Pardo, Adrián; Suda, Martin 2 2018 Towards smarter MACE-style model finders. Zbl 1415.68194Janota, Mikoláš; Suda, Martin 1 2018 Blocked clauses in first-order logic. Zbl 1403.68240Kiesl, Benjamin; Suda, Martin; Seidl, Martina; Tompits, Hans; Biere, Armin 5 2017 A unifying principle for clause elimination in first-order logic. Zbl 1496.03048Kiesl, Benjamin; Suda, Martin 4 2017 Selecting the selection. Zbl 1475.68436Hoder, Kryštof; Reger, Giles; Suda, Martin; Voronkov, Andrei 9 2016 Finding finite models in multi-sorted first-order logic. Zbl 1475.68447Reger, Giles; Suda, Martin; Voronkov, Andrei 3 2016 Lifting QBF resolution calculi to DQBF. Zbl 1475.68431Beyersdorff, Olaf; Chew, Leroy; Schmidt, Renate A.; Suda, Martin 3 2016 Playing with AVATAR. Zbl 1465.68295Reger, Giles; Suda, Martin; Voronkov, Andrei 13 2015 Variable and clause elimination for LTL satisfiability checking. Zbl 1341.68197Suda, Martin 1 2015 Property directed reachability for automated planning. Zbl 1361.68208Suda, Martin 2 2014 A PLTL-prover based on labelled superposition with partial model guidance. Zbl 1358.68266Suda, Martin; Weidenbach, Christoph 8 2012 Labelled superposition for PLTL. Zbl 1352.68164Suda, Martin; Weidenbach, Christoph 2 2012 On the saturation of YAGO. Zbl 1291.68372Suda, Martin; Weidenbach, Christoph; Wischnewski, Patrick 11 2010 Response to “Vulnerability of ‘A novel protocol-authentication algorithm ruling out a man-in-the-middle attack in quantum cryptography”’. Zbl 1182.94045Peev, M.; Pacher, C.; Lorünser, T.; Nölle, M.; Poppe, A.; Maurhart, O.; Suda, M.; Fedrizzi, A.; Ursin, R.; Zeilinger, A. 2 2009 A novel attack strategy on entanglement swapping QKD protocols. Zbl 1153.81474Schauer, Stefan; Suda, Martin 1 2008 A novel protocol-authentication algorithm ruling out a man-in-the middle attack in quantum cryptography. Zbl 1066.94015Peev, M.; Nölle, M.; Maurhardt, O.; Lorünser, T.; Suda, M.; Poppe, A.; Ursin, R.; Fedrizzi, A.; Zeilinger, A. 6 2005 all cited Publications top 5 cited Publications all top 5 Cited by 114 Authors 11 Suda, Martin 9 Urban, Josef 7 Weidenbach, Christoph 6 Reger, Giles 4 Biere, Armin 4 Kiesl, Benjamin 4 Olšák, Miroslav 3 Beyersdorff, Olaf 3 Blanchette, Jasmin Christian 3 Blinkhorn, Joshua 3 Bonacina, Maria Paola 3 Chvalovský, Karel 3 Cruanes, Simon 3 Heule, Marijn J. H. 3 Jakubův, Jan 3 Kaliszyk, Cezary 3 Rawson, Michael 3 Reynolds, Andrew 3 Sutcliffe, Geoff 3 Tourret, Sophie 3 Voronkov, Andrei 3 Vukmirović, Petar 3 Zombori, Zsolt 2 Barrett, Clark W. 2 Bentkamp, Alexander 2 Goertzel, Zarathustra Amadeus 2 Janota, Mikoláš 2 Libal, Tomer 2 Mahajan, Meena 2 Niemetz, Aina 2 Nummelin, Visa 2 Piotrowski, Bartosz 2 Preiner, Mathias 2 Seidl, Martina 2 Tinelli, Cesare 2 Tompits, Hans 2 Xu, Yang 2 Zohar, Yoni 1 Alagi, Gábor 1 Arunachalam, Srinivasan 1 Bártek, Filip 1 Beeson, Michael J. 1 Bhayat, Ahmed 1 Blaauwbroek, Lasse 1 Brown, Chad Edward 1 Buss, Samuel R. 1 Cao, Cong 1 Černỳ, Prokop 1 Chen, Shuwei 1 Chew, Leroy 1 Chow, Choiwah 1 Csiszárik, Adrián 1 Dixon, Clare 1 Ebner, Gabriel 1 Färber, Michael 1 Fietzke, Arnaud 1 Froleyks, Nils 1 Fu, Huimin 1 Gleiss, Bernhard 1 He, Xingxing 1 Heskes, Tom M. 1 Hillenbrand, Thomas 1 Hoder, Kryštof 1 Hoffmann, Jörg 1 Hustadt, Ullrich 1 Iser, Markus 1 Järvisalo, Matti 1 Kapur, Deepak 1 King, Tim 1 Kinyon, Michael K. 1 Korovin, Konstantin 1 Kotsireas, Ilias S. 1 Kruglov, Evgeniĭ Valentinovich 1 Kuncak, Viktor 1 Li, Jianwen 1 Liu, Jun 1 Lucas, Salvador 1 McCabe-Dansted, John Christopher 1 Michalewski, Henryk 1 Nieuwenhuis, Robert 1 Ning, Xinran 1 Ozaki, Ana 1 Piepenbrock, Jelle 1 Plaisted, David Alan 1 Pu, Geguang 1 Ranise, Silvio 1 Rebola-Pardo, Adrián 1 Reichl, Franz-Xaver 1 Reynolds, Mark Alexander 1 Schmidt, Renate A. 1 Schoisswohl, Johannes 1 Schulz, Stephan 1 Slivovsky, Friedrich 1 Spies, David 1 Steen, Alexander 1 Steinmetz, Marcel 1 Szeider, Stefan 1 Tammet, Tanel 1 Teucke, Andreas 1 Thapen, Neil ...and 14 more Authors all top 5 Cited in 13 Serials 13 Journal of Automated Reasoning 3 Artificial Intelligence 3 Mathematics in Computer Science 2 AI Communications 2 Formal Methods in System Design 2 Logical Methods in Computer Science 1 International Journal of Theoretical Physics 1 Information Sciences 1 Journal of Symbolic Computation 1 Constraints 1 Theory and Practice of Logic Programming 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Symmetry all top 5 Cited in 7 Fields 66 Computer science (68-XX) 33 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year