Martin Suda
Publication Activity (10 Years)
Years Active: 2009-2024
Publications (10 Years): 59
Publications (10 Years): 59
Saarland University (PHD)
Education History
Saarland University
PHD
Publications
- Ahmed Bhayat, Martin Suda
- Ahmed Bhayat, Martin Suda
- 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