Martin Suda

Identifiers

• name variant Martin Suda 0.60 · backfill

Papers (16)

1. ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E cs.AI · 2019 · author #3
2. Dirac monopoles and the importance of the usage of appropriate degrees of freedom physics.gen-ph · 2019 · author #2
3. Splitting Proofs for Interpolation cs.LO · 2017 · author #3
4. Influence of gravitational waves on circular moving particles gr-qc · 2017 · author #2
5. Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version) cs.LO · 2017 · author #2
6. Blocked Clauses in First-Order Logic cs.LO · 2017 · author #2
7. Lifting QBF Resolution Calculi to DQBF cs.LO · 2016 · author #4
8. Selecting the Selection cs.AI · 2016 · author #2
9. Finding Finite Models in Multi-Sorted First Order Logic cs.LO · 2016 · author #2
10. On the Optimality of Basis Transformations to Secure Entanglement Swapping Based QKD Protocols quant-ph · 2013 · author #2
11. Triggered Clause Pushing for IC3 cs.LO · 2013 · author #1
12. Variable and clause elimination for LTL satisfiability checking cs.LO · 2013 · author #1
13. Duality in STRIPS planning cs.AI · 2013 · author #1
14. Conjugate Variables as a Resource in Signal and Image Processing cs.CV · 2011 · author #2
15. Quantum Interference between a Single-Photon Fock State and a Coherent State quant-ph · 2010 · author #2
16. A Novel Attack Strategy on Entanglement Swapping QKD Protocols quant-ph · 2008 · author #2

Mentions

• 1307.5646 #2 · backfill · confidence 0.70 Martin Suda
• 1307.4966 #1 · backfill · confidence 0.70 Martin Suda
• 1306.5539 #1 · backfill · confidence 0.70 Martin Suda
• 1304.0897 #1 · backfill · confidence 0.70 Martin Suda
• 1108.5720 #2 · backfill · confidence 0.70 Martin Suda
• 1009.1844 #2 · backfill · confidence 0.70 Martin Suda
• 0805.4322 #2 · backfill · confidence 0.70 Martin Suda

Frequent Coauthors

• Andrei Voronkov 3 shared papers
• Giles Reger 3 shared papers
• Manfried Faber 2 shared papers
• Stefan Schauer 2 shared papers
• Andreas Poppe 1 shared papers
• Armin Biere 1 shared papers
• Armin Windhager 1 shared papers
• Benjamin Kiesl 1 shared papers
• Bernhard Gleiss 1 shared papers
• Christoph Pacher 1 shared papers
• Hans Tompits 1 shared papers
• Jan Jakub\r{u}v 1 shared papers
• Josef Urban 1 shared papers
• Karel Chvalovsk\'y 1 shared papers
• Krystof Hoder 1 shared papers
• Laura Kovacs 1 shared papers
• Leroy Chew 1 shared papers
• Martina Seidl 1 shared papers
• Michael N\"olle 1 shared papers
• Momtchil Peev 1 shared papers