M. Samer
发表
Georg Gottlob,
Tobias Ganzow,
Nysret Musliu,
2006
.
Marko Samer,
Levi Lucio,
L. Lucio,
2004,
Model-Based Testing of Reactive Systems.
Stefan Szeider,
M. Samer,
2021,
Handbook of Satisfiability.
Heat balance and tracer gas technique for airflow rates measurement and gaseous emissions quantifica
Marko Samer,
Christian Ammon,
Christiane Loebsin,
2011
.
Marko Samer,
Stefan Szeider,
Stefan Szeider,
2021,
Handbook of Satisfiability.
G. Gottlob,
M. Samer,
2007,
ArXiv.
Marko Samer,
Stefan Szeider,
Stefan Szeider,
2007,
J. Discrete Algorithms.
M. Samer,
2011
.
M. Samer,
2016
.
Georg Gottlob,
Marko Samer,
G. Gottlob,
2007,
JEAL.
Georg Gottlob,
Nysret Musliu,
Marko Samer,
2005,
WG.
Marko Samer,
Stefan Szeider,
Stefan Szeider,
2006,
J. Comput. Syst. Sci..
V. Gurvich,
M. Samer,
Vladimir Oudalov,
2005
.
Georg Gottlob,
Artan Dermaku,
Tobias Ganzow,
2008,
MICAI.
Helmut Veith,
Marko Samer,
H. Veith,
2009,
SAT.
Helmut Veith,
Marko Samer,
H. Veith,
2010,
TOCL.
Helmut Veith,
Marko Samer,
H. Veith,
2004,
ICALP.
G. Gottlob,
M. Samer,
2007,
ArXiv.