papers
Publications (16)
cs.AI2013
Duality in STRIPS planning
Martin Suda
gr-qc2017
Influence of gravitational waves on circular moving particles
Manfried Faber, Martin Suda
cs.AI2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
Karel Chvalovský, Jan Jakubův, Martin Suda +1
quant-ph2011
Quantum Interference between a Single-Photon Fock State and a Coherent State
Armin Windhager, Martin Suda, Christoph Pacher +2
physics.gen-ph2019
Dirac monopoles and the importance of the usage of appropriate degrees of freedom
Manfried Faber, Martin Suda
cs.LO2016
Lifting QBF Resolution Calculi to DQBF
Olaf Beyersdorff, Leroy Chew, Renate Schmidt +1
cs.LO2013
Triggered Clause Pushing for IC3
Martin Suda
cs.LO2017
Blocked Clauses in First-Order Logic
Benjamin Kiesl, Martin Suda, Martina Seidl +2
quant-ph2013
On the Optimality of Basis Transformations to Secure Entanglement Swapping Based QKD Protocols
Stefan Schauer, Martin Suda
cs.LO2013
Variable and clause elimination for LTL satisfiability checking
Martin Suda
cs.CV2011
Conjugate Variables as a Resource in Signal and Image Processing
Michael Nölle, Martin Suda
cs.LO2017
Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version)
Giles Reger, Martin Suda, Andrei Voronkov
cs.LO2017
Splitting Proofs for Interpolation
Bernhard Gleiss, Laura Kovacs, Martin Suda
cs.LO2016
Finding Finite Models in Multi-Sorted First Order Logic
Giles Reger, Martin Suda, Andrei Voronkov
quant-ph2008
A Novel Attack Strategy on Entanglement Swapping QKD Protocols
Stefan Schauer, Martin Suda
cs.AI2016
Selecting the Selection
Giles Reger, Martin Suda, Andrei Voronkov +1