×

zbMATH — the first resource for mathematics

Suda, Martin

Compute Distance To:
Author ID: suda.martin Recent zbMATH articles by "Suda, Martin"
Published as: Suda, Martin; Suda, M.
Documents Indexed: 25 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 45 times in 30 Documents Cited by Year
On the saturation of YAGO. Zbl 1291.68372
Suda, Martin; Weidenbach, Christoph; Wischnewski, Patrick
9
2010
Playing with AVATAR. Zbl 1465.68295
Reger, Giles; Suda, Martin; Voronkov, Andrei
5
2015
A novel protocol-authentication algorithm ruling out a man-in-the middle attack in quantum cryptography. Zbl 1066.94015
Peev, M.; Nölle, M.; Maurhardt, O.; Lorünser, T.; Suda, M.; Poppe, A.; Ursin, R.; Fedrizzi, A.; Zeilinger, A.
4
2005
A PLTL-prover based on labelled superposition with partial model guidance. Zbl 1358.68266
Suda, Martin; Weidenbach, Christoph
4
2012
A unifying principle for clause elimination in first-order logic. Zbl 06778409
Kiesl, Benjamin; Suda, Martin
3
2017
Selecting the selection. Zbl 06623270
Hoder, Kryštof; Reger, Giles; Suda, Martin; Voronkov, Andrei
3
2016
Blocked clauses in first-order logic. Zbl 1403.68240
Kiesl, Benjamin; Suda, Martin; Seidl, Martina; Tompits, Hans; Biere, Armin
3
2017
Property directed reachability for automated planning. Zbl 1361.68208
Suda, Martin
2
2014
Lifting QBF resolution calculi to DQBF. Zbl 06623530
Beyersdorff, Olaf; Chew, Leroy; Schmidt, Renate A.; Suda, Martin
2
2016
A theory of satisfiability-preserving proofs in SAT solving. Zbl 1415.68203
Rebola-Pardo, Adrián; Suda, Martin
2
2018
Reinterpreting dependency schemes: soundness meets incompleteness in DQBF. Zbl 07100457
Beyersdorff, Olaf; Blinkhorn, Joshua; Chew, Leroy; Schmidt, Renate; Suda, Martin
1
2019
Unification with abstraction and theory instantiation in saturation-based reasoning. Zbl 1423.68424
Reger, Giles; Suda, Martin; Voronkov, Andrei
1
2018
A novel attack strategy on entanglement swapping QKD protocols. Zbl 1153.81474
Schauer, Stefan; Suda, Martin
1
2008
Response to “Vulnerability of ‘A novel protocol-authentication algorithm ruling out a man-in-the-middle attack in quantum cryptography”’. Zbl 1182.94045
Peev, M.; Pacher, C.; Lorünser, T.; Nölle, M.; Poppe, A.; Maurhart, O.; Suda, M.; Fedrizzi, A.; Ursin, R.; Zeilinger, A.
1
2009
Labelled superposition for PLTL. Zbl 1352.68164
Suda, Martin; Weidenbach, Christoph
1
2012
Local soundness for QBF calculi. Zbl 06916309
Suda, Martin; Gleiss, Bernhard
1
2018
Finding finite models in multi-sorted first-order logic. Zbl 06623520
Reger, Giles; Suda, Martin; Voronkov, Andrei
1
2016
Variable and clause elimination for LTL satisfiability checking. Zbl 1341.68197
Suda, Martin
1
2015
Reinterpreting dependency schemes: soundness meets incompleteness in DQBF. Zbl 07100457
Beyersdorff, Olaf; Blinkhorn, Joshua; Chew, Leroy; Schmidt, Renate; Suda, Martin
1
2019
A theory of satisfiability-preserving proofs in SAT solving. Zbl 1415.68203
Rebola-Pardo, Adrián; Suda, Martin
2
2018
Unification with abstraction and theory instantiation in saturation-based reasoning. Zbl 1423.68424
Reger, Giles; Suda, Martin; Voronkov, Andrei
1
2018
Local soundness for QBF calculi. Zbl 06916309
Suda, Martin; Gleiss, Bernhard
1
2018
A unifying principle for clause elimination in first-order logic. Zbl 06778409
Kiesl, Benjamin; Suda, Martin
3
2017
Blocked clauses in first-order logic. Zbl 1403.68240
Kiesl, Benjamin; Suda, Martin; Seidl, Martina; Tompits, Hans; Biere, Armin
3
2017
Selecting the selection. Zbl 06623270
Hoder, Kryštof; Reger, Giles; Suda, Martin; Voronkov, Andrei
3
2016
Lifting QBF resolution calculi to DQBF. Zbl 06623530
Beyersdorff, Olaf; Chew, Leroy; Schmidt, Renate A.; Suda, Martin
2
2016
Finding finite models in multi-sorted first-order logic. Zbl 06623520
Reger, Giles; Suda, Martin; Voronkov, Andrei
1
2016
Playing with AVATAR. Zbl 1465.68295
Reger, Giles; Suda, Martin; Voronkov, Andrei
5
2015
Variable and clause elimination for LTL satisfiability checking. Zbl 1341.68197
Suda, Martin
1
2015
Property directed reachability for automated planning. Zbl 1361.68208
Suda, Martin
2
2014
A PLTL-prover based on labelled superposition with partial model guidance. Zbl 1358.68266
Suda, Martin; Weidenbach, Christoph
4
2012
Labelled superposition for PLTL. Zbl 1352.68164
Suda, Martin; Weidenbach, Christoph
1
2012
On the saturation of YAGO. Zbl 1291.68372
Suda, Martin; Weidenbach, Christoph; Wischnewski, Patrick
9
2010
Response to “Vulnerability of ‘A novel protocol-authentication algorithm ruling out a man-in-the-middle attack in quantum cryptography”’. Zbl 1182.94045
Peev, M.; Pacher, C.; Lorünser, T.; Nölle, M.; Poppe, A.; Maurhart, O.; Suda, M.; Fedrizzi, A.; Ursin, R.; Zeilinger, A.
1
2009
A novel attack strategy on entanglement swapping QKD protocols. Zbl 1153.81474
Schauer, Stefan; Suda, Martin
1
2008
A novel protocol-authentication algorithm ruling out a man-in-the middle attack in quantum cryptography. Zbl 1066.94015
Peev, M.; Nölle, M.; Maurhardt, O.; Lorünser, T.; Suda, M.; Poppe, A.; Ursin, R.; Fedrizzi, A.; Zeilinger, A.
4
2005

Citations by Year