Manuel Bodirsky
发表
Michael Pinsker,
Manuel Bodirsky,
David Bradley-Williams,
2014,
J. Log. Comput..
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Manuel Bodirsky,
Johannes Greiner,
M. Bodirsky,
2018,
IJCAR.
Manuel Bodirsky,
Marcello Mamino,
2018,
ArXiv.
Daniel Král,
Manuel Bodirsky,
D. Král,
2005,
WG.
Manuel Bodirsky,
Marcello Mamino,
M. Bodirsky,
2017,
The Constraint Satisfaction Problem.
Manuel Bodirsky,
2015,
STACS.
Barnaby Martin,
Manuel Bodirsky,
Jan Kára,
2011,
Discret. Appl. Math..
Manuel Bodirsky,
2007,
Log. Methods Comput. Sci..
Gustav Nordh,
Manuel Bodirsky,
Timo von Oertzen,
2009,
Inf. Process. Lett..
Manuel Bodirsky,
Hubie Chen,
2007,
LICS.
Manuel Bodirsky,
Antoine Mottet,
Florent R. Madelaine,
2018,
LICS.
Joachim Niehren,
Katrin Erk,
Manuel Bodirsky,
2001,
RTA.
Manuel Bodirsky,
Jan Kára,
J. Kára,
2006,
Theory of Computing Systems.
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2005,
ISAAC.
Manuel Bodirsky,
Johannes Greiner,
2020,
ArXiv.
Manuel Bodirsky,
Jens K. Müller,
M. Bodirsky,
2010,
ICDT '10.
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2006,
CSL.
Manuel Bodirsky,
Jan Kára,
2008,
ArXiv.
Manuel Bodirsky,
Martin Hils,
Alex Krimkevitch,
2011,
IJCAI.
Michael Pinsker,
Manuel Bodirsky,
M. Bodirsky,
2012,
ArXiv.
Marc Noy,
Manuel Bodirsky,
Mihyun Kang,
2007,
Eur. J. Comb..
Michael Pinsker,
Manuel Bodirsky,
Jakub Oprsal,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2003,
Theor. Comput. Sci..
Barnaby Martin,
Manuel Bodirsky,
Martin Hils,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Manuel Bodirsky,
Simon Knäuer,
2020,
RAMiCS.
Barnaby Martin,
Peter Jonsson,
Manuel Bodirsky,
2018,
IJCAI.
Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems)
pdf
Michael Pinsker,
Manuel Bodirsky,
Jakub Oprsal,
2019,
ArXiv.
Michael Pinsker,
Manuel Bodirsky,
Jakub Oprsal,
2020,
ArXiv.
Peter Jonsson,
Manuel Bodirsky,
Timo von Oertzen,
2010,
J. Log. Comput..
Manuel Bodirsky,
Jan Kára,
2010,
TOCL.
Jaroslav Nesetril,
Manuel Bodirsky,
2003,
CSL.
Manuel Bodirsky,
Dugald Macpherson,
M. Bodirsky,
2013,
The Journal of Symbolic Logic.
Barnaby Martin,
Michael Pinsker,
Manuel Bodirsky,
2016,
ICALP.
Manuel Bodirsky,
Jan Kára,
Cornelia Dangelmayr,
2007
.
Manuel Bodirsky,
Antoine Mottet,
M. Bodirsky,
2016,
Log. Methods Comput. Sci..
Manuel Bodirsky,
M. Bodirsky,
2012,
ArXiv.
Manuel Bodirsky,
Mihyun Kang,
Éric Fusy,
2007,
Electron. J. Comb..
Manuel Bodirsky,
Wied Pakusa,
Jakub Rydval,
2020,
LICS.
Michael Pinsker,
Manuel Bodirsky,
M. Bodirsky,
2011,
AMS-ASL Joint Special Session.
Manuel Bodirsky,
Hubie Chen,
Jan Kára,
2009,
Theor. Comput. Sci..
Peter Jonsson,
Manuel Bodirsky,
Van Trung Pham,
2015,
ACM Trans. Comput. Log..
Manuel Bodirsky,
Hubie Chen,
Michal Wrona,
2014,
Int. J. Algebra Comput..
Michael Pinsker,
Manuel Bodirsky,
András Pongrácz,
2014,
The Journal of Symbolic Logic.
Manuel Bodirsky,
Marcello Mamino,
2016,
CSR.
Michael Pinsker,
Manuel Bodirsky,
András Pongrácz,
2013,
ArXiv.
Michael Pinsker,
Manuel Bodirsky,
Todor Tsankov,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Manuel Bodirsky,
Mihyun Kang,
Éric Fusy,
2010,
SIAM J. Comput..
Manuel Bodirsky,
2014
.
Manuel Bodirsky,
Martin Grohe,
Martin Grohe,
2008,
ICALP.
Joachim Niehren,
Katrin Erk,
Manuel Bodirsky,
2001,
ACL.
Manuel Bodirsky,
Simon Knäuer,
M. Bodirsky,
2020,
AAAI.
Manuel Bodirsky,
Martin Kutz,
M. Bodirsky,
2007,
Artif. Intell..
Colin McDiarmid,
Manuel Bodirsky,
Mihyun Kang,
2007,
Random Struct. Algorithms.
Manuel Bodirsky,
M. Bodirsky,
2018,
RAMiCS.
Tomás Feder,
Manuel Bodirsky,
Hubie Chen,
2012,
SIAM J. Discret. Math..
Manuel Bodirsky,
Johannes Greiner,
Jakub Rydval,
2020,
ArXiv.
Manuel Bodirsky,
Johannes Greiner,
2020,
Log. Methods Comput. Sci..
Barnaby Martin,
Michael Pinsker,
Manuel Bodirsky,
2010,
MFCS.
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2009,
Constraints.
Sebastian Rudolph,
Manuel Bodirsky,
Simon Knäuer,
2020,
ArXiv.
Manuel Bodirsky,
Hubie Chen,
2010,
Theor. Comput. Sci..
Manuel Bodirsky,
Jan Kára,
J. Kára,
2008,
STOC.
Manuel Bodirsky,
Hubie Chen,
2009,
J. Log. Comput..
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2008,
Random Struct. Algorithms.
Daniel Král,
Manuel Bodirsky,
D. Král,
2011,
SIAM J. Discret. Math..
Michael Pinsker,
Manuel Bodirsky,
2015,
J. ACM.
Peter Jonsson,
Manuel Bodirsky,
Timo von Oertzen,
2012,
Log. Methods Comput. Sci..
Manuel Bodirsky,
2008,
Complexity of Constraints.
Manuel Bodirsky,
Marcello Mamino,
Caterina Viola,
2018,
CSL.
Manuel Bodirsky,
Víctor Dalmau,
V. Dalmau,
2006,
STACS.
Jan Schwinghammer,
Manuel Bodirsky,
Timo von Oertzen,
2004,
LATIN.
Manuel Bodirsky,
Marcello Mamino,
M. Bodirsky,
2015,
Theory of Computing Systems.
Michael Pinsker,
Manuel Bodirsky,
2016,
ArXiv.
Peter Jonsson,
Manuel Bodirsky,
P. Jonsson,
2017,
J. Artif. Intell. Res..
Barnaby Martin,
Manuel Bodirsky,
Antoine Mottet,
2015,
ICALP.
Manuel Bodirsky,
M. Bodirsky,
2004
.
Manuel Bodirsky,
Antoine Mottet,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Barnaby Martin,
Manuel Bodirsky,
Antoine Mottet,
2018,
MFCS.
Manuel Bodirsky,
Johan Thapper,
Dugald Macpherson,
2013,
TOCL.
Barnaby Martin,
Michael Pinsker,
Manuel Bodirsky,
2016,
Inf. Comput..
Jaroslav Nesetril,
Manuel Bodirsky,
J. Nesetril,
2003,
J. Log. Comput..
Manuel Bodirsky,
Florian Starke,
Simon Knäuer,
2020,
CiE.
Manuel Bodirsky,
M. Bodirsky,
2015,
Surveys in Combinatorics.
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2007,
J. Log. Comput..
Florian Richoux,
Manuel Bodirsky,
Miki Hermann,
2009,
CiE.
Manuel Bodirsky,
Mihyun Kang,
Éric Fusy,
2007,
SODA '07.
Manuel Bodirsky,
Michal Wrona,
2012,
CSL.
Manuel Bodirsky,
2014,
Electron. J. Comb..
Barnaby Martin,
Manuel Bodirsky,
Martin Hils,
2010,
LICS.
Peter Jonsson,
Manuel Bodirsky,
Van Trung Pham,
2016,
STACS.
Manuel Bodirsky,
Hubie Chen,
Jan Kára,
2007,
ICALP.
Peter Jonsson,
Manuel Bodirsky,
Timo von Oertzen,
2009,
ICALP.
Joachim Niehren,
Manuel Bodirsky,
Denys Duchier,
2004,
SODA '04.
Manuel Bodirsky,
Marcello Mamino,
Caterina Viola,
2019,
ArXiv.
Manuel Bodirsky,
Víctor Dalmau,
V. Dalmau,
2006,
J. Comput. Syst. Sci..
Barnaby Martin,
Manuel Bodirsky,
Antoine Mottet,
2018,
J. ACM.
Manuel Bodirsky,
Martin Kutz,
M. Bodirsky,
2002,
STACS.
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2003,
ICALP.
Manuel Bodirsky,
Jan Kára,
J. Kára,
2010,
JACM.
Michael Pinsker,
Manuel Bodirsky,
Hubie Chen,
2010,
J. Symb. Log..
Manuel Bodirsky,
Marcello Mamino,
Caterina Viola,
2020,
AIRO Springer Series.
Michael Pinsker,
Manuel Bodirsky,
Antoine Mottet,
2020,
Transactions of the American Mathematical Society.
Manuel Bodirsky,
M. Bodirsky,
2005,
STACS.
Manuel Bodirsky,
Jan Kára,
J. Kára,
2006,
CSR.
Manuel Bodirsky,
Mihyun Kang,
M. Bodirsky,
2006,
Combinatorics, Probability and Computing.
Manuel Bodirsky,
Stefan Wölfl,
S. Wölfl,
2011,
IJCAI.
Peter Jonsson,
Manuel Bodirsky,
Van Trung Pham,
2016,
J. Symb. Log..
Manuel Bodirsky,
Florian Starke,
Albert Vucaj,
2021,
Int. J. Algebra Comput..
Manuel Bodirsky,
Antoine Mottet,
Florent R. Madelaine,
2021,
SIAM J. Comput..
Manuel Bodirsky,
Dmitriy Zhuk,
Albert Vucaj,
2021
.
Manuel Bodirsky,
M. Bodirsky,
2021
.
Sebastian Rudolph,
Manuel Bodirsky,
Thomas Feller,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Manuel Bodirsky,
Florian Starke,
2021
.
Manuel Bodirsky,
Andr'e Schrottenloher,
Jakub Rydval,
2021,
ArXiv.
Manuel Bodirsky,
Simon Knäuer,
Jakub Rydval,
2021,
ArXiv.
Manuel Bodirsky,
Jakub Rydval,
Simon Knauer,
2021,
2108.00452.
Manuel Bodirsky,
Bertalan Bodor,
2021
.
Manuel Bodirsky,
Bertalan Bodor,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Manuel Bodirsky,
2001
.
Michael Pinsker,
Manuel Bodirsky,
2010
.
Markus Junker,
Manuel Bodirsky,
2009
.
Michael Pinsker,
Manuel Bodirsky,
Andr'as Pongr'acz,
2013
.
Manuel Bodirsky,
Marco Kuhlmann,
Marco Kuhlmann,
2005
.
Manuel Bodirsky,
Hubie Chen,
2007
.
Diana Piguet,
Manuel Bodirsky,
M. Bodirsky,
2010,
1002.1557.
Manuel Bodirsky,
Marcello Mamino,
2017
.
Michael Pinsker,
Manuel Bodirsky,
Todor Tsankov,
2013,
The Journal of Symbolic Logic.
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2008
.
Michael Pinsker,
Manuel Bodirsky,
2010
.
Manuel Bodirsky,
Jan Kára,
2008
.
Manuel Bodirsky,
Mihyun Kang,
Eric Fusy,
2005
.
Michael Pinsker,
Manuel Bodirsky,
2009
.