Martin Suda
ORCIDPublication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 54
Publications (10 Years): 54
Saarland University (PHD)
Education History
Saarland University
Publications
- Filip Bártek, Martin Suda
- Filip Bártek, Martin Suda
- Martin Suda
- Martin Suda
- Martin Suda
- Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
- Martin Suda
- Bernhard Gleiss, Martin Suda
- Filip Bártek, Martin Suda
- Giles Reger, Martin Riener, Martin Suda
- Martin Suda
- Marijn J. H. Heule, Matti Järvisalo, Martin Suda
- Mikolas Janota, Martin Suda
- Martin Suda, Bernhard Gleiss
- Adrián Rebola-Pardo, Martin Suda
- Giles Reger, Martin Suda
- Giles Reger, Martin Suda
- Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
- Bernhard Gleiss, Laura Kovács, Martin Suda
- Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
- Bernhard Gleiss, Laura Kovács, Martin Suda
- Jan Jakubuv, Martin Suda, Josef Urban
- Giles Reger, Martin Suda, Andrei Voronkov
- Benjamin Kiesl, Martin Suda
- Giles Reger, Martin Suda, Andrei Voronkov
- Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
- Giles Reger, Martin Suda, Andrei Voronkov, Krystof HoderSelecting the Selection. CoRR (2016)
- Giles Reger, Martin Suda
- Giles Reger, Nikolaj Bjørner, Martin Suda, Andrei Voronkov
- Giles Reger, Martin Suda, Andrei Voronkov
- Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
- Giles Reger, Martin Suda, Andrei Voronkov
- Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov
- Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov
- Martin Suda
- Giles Reger, Martin Suda, Andrei Voronkov
- Giles Reger, Martin Suda
- Martin Suda
- Martin Suda
- Martin Suda
- Martin SudaDuality in STRIPS planning CoRR (2013)
- Martin Suda
- Martin Suda, Christoph Weidenbach
- Martin Suda, Christoph Weidenbach, Patrick Wischnewski
- Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski