Stefan Szeider
发表
Stefan Szeider,
Stefan Szeider,
2003,
SAT.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
J. Satisf. Boolean Model. Comput..
Stefan Szeider,
Stefan Szeider,
2022
.
Michael R. Fellows,
Fedor V. Fomin,
Saket Saurabh,
2011,
Inf. Comput..
Stefan Szeider,
Johannes Klaus Fichte,
Stefan Szeider,
2013,
AAAI.
Stefan Szeider,
2005,
Annals of Mathematics and Artificial Intelligence.
Stefan Szeider,
2007,
SAT.
Stefan Szeider,
Iyad A. Kanj,
Ronald de Haan,
2013,
SAT.
Stefan Szeider,
Serge Gaspers,
2012,
ICALP.
Minimal Unsatisfiable Formulas with Bounded Clause-Variable Difference are Fixed-Parameter Tractable
Stefan Szeider,
Stefan Szeider,
2003,
COCOON.
Naomi Nishimura,
Prabhakar Ragde,
Stefan Szeider,
2006,
Acta Informatica.
Robert Ganian,
Stefan Szeider,
Eduard Eiben,
2015,
WADS.
Stefan Szeider,
Iyad A. Kanj,
Ronald de Haan,
2017,
ACM Trans. Comput. Log..
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
SAT.
Stefan Szeider,
Sebastian Ordyniak,
Iyad A. Kanj,
2021,
AAAI.
Marko Samer,
Stefan Szeider,
Stefan Szeider,
2007,
J. Discrete Algorithms.
Stefan Rümmele,
Stefan Woltran,
Stefan Szeider,
2010,
Theory and Practice of Logic Programming.
Stefan Szeider,
Sebastian Ordyniak,
Neha Lodha,
2017,
IJCAI.
Stefan Szeider,
Johannes Klaus Fichte,
Markus Hecher,
2018,
CP.
Erik Jan van Leeuwen,
Petr A. Golovach,
Fedor V. Fomin,
2011,
LATIN.
Stefan Szeider,
R. VaidyanathanP.,
2020,
ArXiv.
Stefan Szeider,
Stefan Szeider,
2011,
ArXiv.
Stefan Szeider,
Friedrich Slivovsky,
Ankit Shukla,
2020,
SAT.
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2009,
ArXiv.
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2007,
Theory of Computing Systems.
Robert Ganian,
Stefan Szeider,
M. S. Ramanujan,
2016,
STACS.
Marko Samer,
Stefan Szeider,
Stefan Szeider,
2006,
J. Comput. Syst. Sci..
Daniël Paulusma,
Stefan Szeider,
Herbert Fleischner,
2007,
Theor. Comput. Sci..
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2009,
J. Comput. Syst. Sci..
Stefan Szeider,
André Schidler,
Stefan Szeider,
2020,
ALENEX.
Stefan Szeider,
Serge Gaspers,
2011,
CP.
Stefan Szeider,
Johannes Klaus Fichte,
Markus Hecher,
2020,
CP.
Udi Rotics,
Michael R. Fellows,
Stefan Szeider,
2005,
Electron. Colloquium Comput. Complex..
Marko Samer,
Stefan Szeider,
2010,
J. Comput. Syst. Sci..
Stefan Szeider,
Iyad A. Kanj,
Ronald de Haan,
2014,
CP.
Stefan Szeider,
2003,
Discret. Appl. Math..
Stefan Szeider,
Serge Gaspers,
Stefan Szeider,
2012,
SAT.
Robert Ganian,
Stefan Szeider,
Simone Bova,
2015,
TOCL.
Stefan Szeider,
Stefan Szeider,
2008,
TOCL.
Stefan Szeider,
Sebastian Ordyniak,
Neha Lodha,
2017,
SAT.
Stefan Szeider,
2016,
Encyclopedia of Algorithms.
Noga Alon,
Stefan Szeider,
Gregory Gutin,
2010,
SODA.
Stefan Szeider,
2004
.
Robert Ganian,
Stefan Szeider,
Manuel Sorge,
2020,
IJCAI.
Ofer Strichman,
Stefan Szeider,
2010,
SAT 2010.
Stefan Szeider,
Ronald de Haan,
2015,
SOFSEM.
Stefan Szeider,
Ulrich Endriss,
Ronald de Haan,
2015,
AAMAS.
Stefan Szeider,
Ronald de Haan,
Stefan Szeider,
2014,
SAT.
Stefan Szeider,
2003,
STACS.
Stefan Szeider,
Johannes Klaus Fichte,
Stefan Szeider,
2011,
IJCAI.
Stefan Woltran,
Stefan Szeider,
Wolfgang Dvorák,
2010,
COMMA.
Stefan Szeider,
Luke Mathieson,
Stefan Szeider,
2008,
CATS.
Daniël Paulusma,
Stefan Szeider,
Sebastian Ordyniak,
2011,
SAT.
Marko Samer,
Stefan Szeider,
Stefan Szeider,
2021,
Handbook of Satisfiability.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
J. Artif. Intell. Res..
Robert Ganian,
Stefan Szeider,
Eduard Eiben,
2015,
IPEC.
Stefan Szeider,
Sebastian Ordyniak,
Neha Lodha,
2016,
SAT.
Robert Ganian,
Stefan Szeider,
Friedrich,
2020,
KR.
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2010,
Algorithmica.
Robert Ganian,
Stefan Szeider,
Iyad A. Kanj,
2019,
NeurIPS.
Stefan Szeider,
Moritz Müller,
Stefan Szeider,
2017,
Inf. Comput..
Stefan Szeider,
Iyad A. Kanj,
Stefan Szeider,
2014,
Theor. Comput. Sci..
Pim van 't Hof,
Daniël Paulusma,
Dimitrios M. Thilikos,
2010,
SOFSEM.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2017,
SAT.
Stefan Szeider,
Mikko Koivisto,
Mathieu Liedloff,
2012,
Theor. Comput. Sci..
Stefan Szeider,
2013,
2013 IEEE 25th International Conference on Tools with Artificial Intelligence.
Robert Ganian,
Stefan Szeider,
Stefan Szeider,
2015,
SAT.
Stefan Szeider,
Sebastian Ordyniak,
Neha Lodha,
2016,
SAT.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2018,
Journal of Automated Reasoning.
Stefan Szeider,
2004,
Ars Comb..
Stefan Szeider,
Gregory Gutin,
2014,
Algorithmica.
Marko Samer,
Stefan Szeider,
2007,
LPAR.
Robert Ganian,
Stefan Szeider,
Eduard Eiben,
2018,
Discret. Appl. Math..
Stefan Szeider,
Sebastian Ordyniak,
Eun Jung Kim,
2010,
Artif. Intell..
Stefan Szeider,
Serge Gaspers,
Stefan Szeider,
2012,
2013 IEEE 54th Annual Symposium on Foundations of Computer Science.
Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming
pdf
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2010,
IPEC.
Stefan Woltran,
Stefan Szeider,
Bart Verheij,
2012
.
Robert Ganian,
Stefan Szeider,
Sebastian Ordyniak,
2019,
ArXiv.
Graham Wrightson,
Michael R. Fellows,
Stefan Szeider,
2006,
Theor. Comput. Sci..
Marko Samer,
Stefan Szeider,
2006,
ArXiv.
Daniël Paulusma,
Stefan Szeider,
Friedrich Slivovsky,
2015,
Algorithmica.
Stefan Szeider,
Iyad A. Kanj,
Stefan Szeider,
2015,
Theor. Comput. Sci..
Stefan Szeider,
Tomáš Peitl,
Stefan Szeider,
2020,
CP.
Stefan Szeider,
Stefan Szeider,
2011,
AAAI.
Marko Samer,
Stefan Szeider,
2008,
AAAI.
Stefan Szeider,
2004,
Theory of Computing Systems.
Robert Ganian,
Jesper Larsson Träff,
Stefan Szeider,
2015,
ArXiv.
Naomi Nishimura,
Prabhakar Ragde,
Stefan Szeider,
2004,
SAT.
Stefan Szeider,
2013
.
Stefan Dantchev,
Stefan Szeider,
Hajo Broersma,
2006,
ACiD.
Stefan Szeider,
Sebastian Ordyniak,
Eun Jung Kim,
2010,
COMMA.
Stefan Szeider,
Shlomo Hoory,
2006,
SIAM J. Discret. Math..
Stefan Szeider,
Vaidyanathan Peruvemba Ramaswamy,
2020,
CP.
Stefan Szeider,
Ronald de Haan,
Stefan Szeider,
2019,
Electron. Colloquium Comput. Complex..
Marko Samer,
Stefan Szeider,
2007,
SAT.
Georg Gottlob,
Stefan Szeider,
G. Gottlob,
2007,
Comput. J..
Stefan Szeider,
Holger H. Hoos,
Tomás Peitl,
2018,
CP.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2018,
SAT.
Stefan Szeider,
Moritz Müller,
Stefan Szeider,
2013,
MFCS.
Stefan Szeider,
Gregory Gutin,
2013,
Lecture Notes in Computer Science.
Stefan Szeider,
2011,
INAP/WLP.
Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012
Stefan Woltran,
Stefan Szeider,
Bart Verheij,
2012,
COMMA.
Daniël Paulusma,
Stefan Szeider,
Sebastian Ordyniak,
2010,
FSTTCS.
Stefan Szeider,
Sebastian Ordyniak,
Stefan Szeider,
2014,
J. Artif. Intell. Res..
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2006,
CIAC.
Barnaby Martin,
Stefan Szeider,
Stefan S. Dantchev,
2010,
computational complexity.
Stefan Szeider,
Friedrich Slivovsky,
2013,
ISAAC.
Stefan Szeider,
Friedrich Slivovsky,
Stefan Szeider,
2020,
SAT.
Stefan Szeider,
Serge Gaspers,
Sebastian Ordyniak,
2017,
The Constraint Satisfaction Problem.
Christer Bäckström,
Stefan Szeider,
Peter Jonsson,
2015,
J. Comput. Syst. Sci..
Robert Ganian,
Stefan Szeider,
Sebastian Ordyniak,
2020,
AAAI.
Stefan Szeider,
Ronald de Haan,
Anna Roubícková,
2013,
AAAI.
Robert Ganian,
Stefan Szeider,
Sebastian Ordyniak,
2019,
ALENEX.
Barnaby Martin,
Stefan Szeider,
Stefan S. Dantchev,
2007,
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).
Stefan Szeider,
Iyad A. Kanj,
Iyad Kanj,
2013,
AAAI.
Stefan Szeider,
Serge Gaspers,
Stefan Szeider,
2011,
The Multivariate Algorithmic Revolution and Beyond.
Saket Saurabh,
Stefan Szeider,
M. S. Ramanujan,
2014,
Algorithmica.
Robert Ganian,
Stefan Szeider,
Friedrich Slivovsky,
2018,
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).
Michael R. Fellows,
Fedor V. Fomin,
Saket Saurabh,
2007,
COCOA.
Stefan Szeider,
Ronald de Haan,
Stefan Szeider,
2016,
KR.
Robert Ganian,
Stefan Szeider,
Simone Bova,
2014,
IPEC.
Robert Ganian,
Stefan Szeider,
Friedrich Slivovsky,
2013,
J. Comput. Syst. Sci..
Noga Alon,
Stefan Szeider,
Gregory Gutin,
2010,
SODA '10.
Stefan Szeider,
2008,
Encyclopedia of Algorithms.
Ofer Strichman,
Stefan Szeider,
2010,
SAT 2010.
Stefan Rümmele,
Stefan Szeider,
Andreas Pfandler,
2013,
IJCAI.
Stefan Szeider,
M. S. Ramanujan,
2017,
AAAI.
Robert Ganian,
Stefan Szeider,
M. S. Ramanujan,
2016,
CP.
Robert Ganian,
Stefan Szeider,
Eduard Eiben,
2015,
Algorithmica.
Robert Ganian,
Stefan Szeider,
Iyad A. Kanj,
2020,
MFCS.
Stefan Szeider,
Markus Hecher,
Johannes K. Fichte,
2020,
CP.
Robert Ganian,
Stefan Szeider,
Simone Bova,
2014,
Theor. Comput. Sci..
Stefan Szeider,
Friedrich Slivovsky,
2016,
Theor. Comput. Sci..
Marko Samer,
Stefan Szeider,
2008,
Journal of Automated Reasoning.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
SAT.
Saket Saurabh,
Stefan Szeider,
M. S. Ramanujan,
2013,
STACS.
Stefan Szeider,
2001,
IJCAR.
Stefan Woltran,
Stefan Szeider,
Wolfgang Dvorák,
2012,
SUM.
Marko Samer,
Stefan Szeider,
2006,
ArXiv.
Stefan Szeider,
Friedrich Slivovsky,
2015,
Journal of Automated Reasoning.
Naomi Nishimura,
Prabhakar Ragde,
Stefan Szeider,
2006,
SAT.
Robert Ganian,
Stefan Szeider,
M. S. Ramanujan,
2017,
SAT.
Stefan Szeider,
Luke Mathieson,
Stefan Szeider,
2012,
J. Comput. Syst. Sci..
Stefan Szeider,
Marijn J. H. Heule,
Marijn Heule,
2013,
ACM Trans. Comput. Log..
Udi Rotics,
Michael R. Fellows,
Stefan Szeider,
2009,
SIAM J. Discret. Math..
Stefan Szeider,
Iyad A. Kanj,
Ronald de Haan,
2014,
2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2006,
IWPEC.
Robert Ganian,
Stefan Szeider,
Sebastian Ordyniak,
2019,
CP.
Stefan Szeider,
Stefan Szeider,
2009,
Discret. Optim..
Daniël Paulusma,
Stefan Szeider,
Friedrich Slivovsky,
2013,
STACS.
Dan Suciu,
Stefan Szeider,
Pierre Marquis,
2017,
Dagstuhl Reports.
Stefan Szeider,
Venkatesh Raman,
Sebastian Ordyniak,
2013,
SAT.
Robert Ganian,
Stefan Szeider,
M. S. Ramanujan,
2016,
SODA.
Daniël Paulusma,
Stefan Szeider,
Sebastian Ordyniak,
2011,
Theor. Comput. Sci..
Stefan Szeider,
Johannes Klaus Fichte,
2017,
ASPOCP@LPNMR.
Stefan Szeider,
Stefan Szeider,
2003,
Discret. Appl. Math..
Stefan Szeider,
Sebastian Ordyniak,
Stefan Szeider,
2011,
IJCAI.
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2007,
Algorithmica.
Christer Bäckström,
Stefan Szeider,
Peter Jonsson,
2013,
CIAC.
Ofer Strichman,
Stefan Szeider,
O. Strichman,
2010,
Lecture Notes in Computer Science.
Udi Rotics,
Michael R. Fellows,
Stefan Szeider,
2005,
Electron. Colloquium Comput. Complex..
Rusins Freivalds,
Igor Potapov,
Stefan Szeider,
2013,
Fundam. Informaticae.
Stefan Szeider,
Gregory Gutin,
Anders Yeo,
2009,
IWPEC.
Stefan Szeider,
Sebastian Ordyniak,
2010,
UAI.
Stefan Szeider,
Stefan Szeider,
2007
.
Stefan Szeider,
Hanna Lachnitt,
Laura Kovács,
2020,
CICM.
Stefan Szeider,
Luke Mathieson,
2008,
COCOA.
Stefan Szeider,
Simone Bova,
Stefan Szeider,
2017,
PODS.
Robert Ganian,
Stefan Szeider,
Sebastian Ordyniak,
2018,
ICML.
Robert Ganian,
Jesper Larsson Träff,
Stefan Szeider,
2016,
2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Robert Ganian,
Stefan Szeider,
Eun Jung Kim,
2015,
MFCS.
Stefan Woltran,
Stefan Szeider,
Bart Verheij,
2012
.
Yue Chen,
Christer Bäckström,
Stefan Szeider,
2012,
AAAI.
Saket Saurabh,
Stefan Szeider,
Serge Gaspers,
2012,
AAAI.
Robert Ganian,
Stefan Szeider,
Friedrich Slivovsky,
2013,
MFCS.
Robert Ganian,
Stefan Szeider,
2017,
SAT.
Stefan Szeider,
Serge Gaspers,
Stefan Szeider,
2014,
Artif. Intell..
Pim van 't Hof,
Daniël Paulusma,
Dimitrios M. Thilikos,
2012,
Discret. Appl. Math..
Stefan Szeider,
Ronald de Haan,
Stefan Szeider,
2013,
KR.
Stefan Szeider,
Serge Gaspers,
Stefan Szeider,
2011,
IJCAI.
Stefan Szeider,
Ronald de Haan,
Stefan Szeider,
2017,
J. Comput. Syst. Sci..
Guillermo Ricardo Simari,
Floris Bex,
Ivan Bratko,
2013
.
Stefan Szeider,
Johannes Klaus Fichte,
Neha Lodha,
2017,
SAT.
Stefan Szeider,
Stefan Szeider,
2005,
Journal of Automated Reasoning.
Stefan Szeider,
Stanislav Zivny,
Serge Gaspers,
2017,
J. Comput. Syst. Sci..
Stefan Szeider,
2011,
Discret. Optim..
Daniël Paulusma,
Stefan Szeider,
Herbert Fleischner,
2009,
Theor. Comput. Sci..
Graham Wrightson,
Michael R. Fellows,
Stefan Szeider,
2004,
IWPEC.
Udi Rotics,
Michael R. Fellows,
Stefan Szeider,
2006,
STOC '06.
Stefan Szeider,
Herbert Fleischner,
2005,
Graphs Comb..
Daniël Paulusma,
Stefan Szeider,
2019,
Inf. Process. Lett..
Stefan Szeider,
Friedrich Slivovsky,
Stefan Szeider,
2012,
SAT.
Stefan Szeider,
Oliver Kullmann,
Herbert Fleischner,
2002,
Theor. Comput. Sci..
Stefan Szeider,
Hajo Broersma,
Matthew Johnson,
2005,
ACiD.
Stefan Szeider,
Shlomo Hoory,
Stefan Szeider,
2005,
SAT.
Barnaby Martin,
Stefan Szeider,
Stefan S. Dantchev,
2007,
Electron. Colloquium Comput. Complex..
Stefan Szeider,
2008,
MFCS.
Stefan Szeider,
Sebastian Ordyniak,
Eun Jung Kim,
2013,
TAFA.
Stefan Szeider,
Johannes Klaus Fichte,
2015,
Artif. Intell..
Stefan Szeider,
Friedrich Slivovsky,
2014,
SAT.
Stefan Szeider,
Iyad A. Kanj,
Ronald de Haan,
2020,
ACM Trans. Comput. Theory.
Marko Samer,
Stefan Szeider,
2009,
Constraints.
Robert Ganian,
Stefan Szeider,
Stefan Szeider,
2021,
Artif. Intell..
Stefan Szeider,
Sebastian Ordyniak,
Stefan Szeider,
2021,
AAAI.
Stefan Szeider,
Hanna Lachnitt,
Laura Kovacs,
2021
.
Robert Ganian,
Stefan Szeider,
Sebastian Ordyniak,
2021,
AAAI.
Stefan Szeider,
Sebastian Ordyniak,
André Schidler,
2021,
IJCAI.
Stefan Szeider,
André Schidler,
Stefan Szeider,
2021,
AAAI.
Stefan Szeider,
R. VaidyanathanP.,
2021,
AAAI.
Stefan Szeider,
Friedrich Slivovsky,
Franz-Xaver Reichl,
2021,
SAT.
Stefan Szeider,
André Schidler,
Stefan Szeider,
2021,
IJCAI.
Stefan Szeider,
Tomás Peitl,
2021,
IJCAI.
Stefan Szeider,
Markus Kirchweger,
Stefan Szeider,
2021,
CP.
Stefan Szeider,
Tomáš Peitl,
2021,
Journal of Artificial Intelligence Research.
Stefan Szeider,
Andr'e Schidler,
Stefan Szeider,
2021,
ALENEX.
Stefan Szeider,
Andre Schidler,
2021
.
Stefan Szeider,
Shlomo Hoory,
2004
.
Stefan Szeider,
Herbert Fleischner,
Stephan Földes,
2001
.
Stefan Szeider,
2005
.
Stefan Szeider,
Sebastian Ordyniak,
Eun Jung Kim,
2011
.