M. Bodirsky
发表
Manuel Bodirsky,
Víctor Dalmau,
V. Dalmau,
2006,
STACS.
Colin McDiarmid,
Manuel Bodirsky,
Mihyun Kang,
2007,
Random Struct. Algorithms.
M. Bodirsky,
Mihyun Kang,
2003
.
C. Gröpl,
M. Bodirsky,
Mihyun Kang,
2007
.
M. Bodirsky,
Mihyun Kang,
Omer Giménez,
2005
.
Manuel Bodirsky,
Martin Kutz,
M. Bodirsky,
2002,
STACS.
Manuel Bodirsky,
Jan Kára,
J. Kára,
2006,
CSR.
Gustav Nordh,
Manuel Bodirsky,
Timo von Oertzen,
2009,
Inf. Process. Lett..
Manuel Bodirsky,
Stefan Wölfl,
S. Wölfl,
2011,
IJCAI.
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2008,
Random Struct. Algorithms.
C. McDiarmid,
M. Bodirsky,
Mihyun Kang,
2007
.
Manuel Bodirsky,
Marcello Mamino,
M. Bodirsky,
2015,
Theory of Computing Systems.
Peter Jonsson,
Manuel Bodirsky,
Timo von Oertzen,
2009,
ICALP.
David M. Evans,
M. Bodirsky,
M. Pinsker,
2015,
1510.00356.
David M. Evans,
M. Bodirsky,
M. Pinsker,
2018
.
Michael Pinsker,
Manuel Bodirsky,
Todor Tsankov,
2013,
The Journal of Symbolic Logic.
Diana Piguet,
Manuel Bodirsky,
M. Bodirsky,
2010,
1002.1557.
Friedrich Martin Schneider,
M. Bodirsky,
2015,
1508.07404.
Michael Pinsker,
Manuel Bodirsky,
M. Bodirsky,
2011,
AMS-ASL Joint Special Session.
M. Bodirsky,
M. Pinsker,
András Pongrácz,
2019
.
M. Bodirsky,
Bertalan Bodor,
2018,
1810.05657.
Trung Van Pham,
P. Jonsson,
M. Bodirsky,
2012
.
M. Bodirsky,
2015
.
M. Bodirsky,
2013
.
J. Kára,
M. Bodirsky,
2022
.
M. Bodirsky,
Jakub Bulín,
Florian Starke,
2022,
2205.07528.
M. Bodirsky,
Jakub Rydval,
Johannes Greiner,
2020,
Log. Methods Comput. Sci..
M. Bodirsky,
Jens K. Mueller,
2011,
1110.0693.
M. Bodirsky,
M. Pinsker,
2011,
STOC '11.
Éric Fusy,
Stefan Vigerske,
M. Bodirsky,
2008
.
Éric Fusy,
M. Bodirsky,
Mihyun Kang,
2005,
math/0511422.
M. Bodirsky,
Bertalan Bodor,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
M. Bodirsky,
Bertalan Bodor,
2020,
2008.10261.
M. Bodirsky,
2015
.
M. Bodirsky,
Wied Pakusa,
Jakub Rydval,
2020,
LICS.
M. Bodirsky,
T. Quinn-Gregson,
2019,
1912.09815.
M. Bodirsky,
A. Thom,
Mario Kummer,
2022,
Journal of the European Mathematical Society.
M. Bodirsky,
Jakub Rydval,
A. Schrottenloher,
2021,
Discrete Mathematics & Theoretical Computer Science.
P. Jonsson,
M. Bodirsky,
B. Martin,
2022,
ArXiv.
M. Bodirsky,
Florian Starke,
2021,
Combinatorica.
M. Bodirsky,
A. Vucaj,
2020,
Algebra universalis.
M. Bodirsky,
A. Vucaj,
2019,
Algebra universalis.
M. Bodirsky,
A. Vucaj,
2019
.
Friedrich Martin Schneider,
M. Bodirsky,
2017,
Algebra universalis.
M. Bodirsky,
Colin Jahel,
2022,
2204.01404.
M. Bodirsky,
Jakub Rydval,
2020,
Journal of the ACM.
R. Willard,
M. Bodirsky,
M. Pinsker,
2019
.
M. Bodirsky,
M. Pinsker,
2014,
Israel Journal of Mathematics.
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
M. Bodirsky,
Simon Knäuer,
2022,
Journal of Artificial Intelligence Research.
Manuel Bodirsky,
Mihyun Kang,
Éric Fusy,
2007,
Electron. J. Comb..
Manuel Bodirsky,
Mihyun Kang,
M. Bodirsky,
2006,
Combinatorics, Probability and Computing.
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2005,
ISAAC.
Manuel Bodirsky,
Mihyun Kang,
Clemens Gröpl,
2003,
Theor. Comput. Sci..
Michael Pinsker,
Manuel Bodirsky,
Antoine Mottet,
2020,
Transactions of the American Mathematical Society.
Manuel Bodirsky,
Johannes Greiner,
M. Bodirsky,
2018,
IJCAR.
Manuel Bodirsky,
Martin Hils,
Alex Krimkevitch,
2011,
IJCAI.
Manuel Bodirsky,
Jan Kára,
J. Kára,
2010,
JACM.
Barnaby Martin,
Manuel Bodirsky,
Jan Kára,
2011,
Discret. Appl. Math..
Peter Jonsson,
Manuel Bodirsky,
Van Trung Pham,
2015,
ACM Trans. Comput. Log..
Manuel Bodirsky,
M. Bodirsky,
2012,
ArXiv.
Manuel Bodirsky,
Jens K. Müller,
M. Bodirsky,
2010,
ICDT '10.
Manuel Bodirsky,
Marco Kuhlmann,
Marco Kuhlmann,
2005
.
Peter Jonsson,
Manuel Bodirsky,
Timo von Oertzen,
2012,
Log. Methods Comput. Sci..
Manuel Bodirsky,
Marcello Mamino,
M. Bodirsky,
2017,
The Constraint Satisfaction Problem.
Jaroslav Nesetril,
Manuel Bodirsky,
J. Nesetril,
2003,
J. Log. Comput..
Manuel Bodirsky,
M. Bodirsky,
2021
.
Manuel Bodirsky,
Martin Grohe,
Martin Grohe,
2008,
ICALP.
M. Bodirsky,
T. Quinn-Gregson,
2019,
J. Math. Log..
Manuel Bodirsky,
Jan Kára,
J. Kára,
2008,
STOC.
Manuel Bodirsky,
Jan Kára,
J. Kára,
2006,
Theory of Computing Systems.
Manuel Bodirsky,
Víctor Dalmau,
V. Dalmau,
2006,
J. Comput. Syst. Sci..
Manuel Bodirsky,
M. Bodirsky,
2004
.
M. Bodirsky,
Mihyun Kang,
Omer Giménez,
2005,
Eur. J. Comb..
Manuel Bodirsky,
M. Bodirsky,
2015,
Surveys in Combinatorics.
Manuel Bodirsky,
M. Bodirsky,
2005,
STACS.
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Manuel Bodirsky,
Martin Kutz,
M. Bodirsky,
2007,
Artif. Intell..
Joachim Niehren,
Manuel Bodirsky,
Denys Duchier,
2004,
SODA '04.
M. Bodirsky,
Dmitriy Zhuk,
A. Vucaj,
2021,
Int. J. Algebra Comput..
Michael Pinsker,
Manuel Bodirsky,
David Bradley-Williams,
2014,
J. Log. Comput..
M. Bodirsky,
Jakub Rydval,
A. Schrottenloher,
2021,
Discrete Mathematics & Theoretical Computer Science.
Manuel Bodirsky,
Florian Starke,
Simon Knäuer,
2020,
CiE.
Michael Pinsker,
Manuel Bodirsky,
András Pongrácz,
2014,
The Journal of Symbolic Logic.
Manuel Bodirsky,
Antoine Mottet,
Florent R. Madelaine,
2021,
SIAM J. Comput..
Peter Jonsson,
Manuel Bodirsky,
P. Jonsson,
2017,
J. Artif. Intell. Res..
Tomás Feder,
Manuel Bodirsky,
Hubie Chen,
2012,
SIAM J. Discret. Math..
M. Bodirsky,
M. Mamino,
C. Viola,
2019,
ACM Trans. Comput. Log..
M. Bodirsky,
M. Mamino,
B. Martin,
2018,
MFCS.
Peter Jonsson,
Manuel Bodirsky,
Timo von Oertzen,
2010,
J. Log. Comput..
Manuel Bodirsky,
Marcello Mamino,
Caterina Viola,
2018,
CSL.
Manuel Bodirsky,
Marcello Mamino,
Caterina Viola,
2020,
AIRO Springer Series.
M. Bodirsky,
Santiago Guzm'an-Pro,
2023,
ArXiv.
Manuel Bodirsky,
Hubie Chen,
Michal Wrona,
2014,
Int. J. Algebra Comput..
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2009,
Constraints.
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2007,
J. Log. Comput..
Manuel Bodirsky,
Hubie Chen,
Hubie Chen,
2006,
CSL.
Manuel Bodirsky,
Mihyun Kang,
Éric Fusy,
2010,
SIAM J. Comput..
Jan Schwinghammer,
Manuel Bodirsky,
Timo von Oertzen,
2004,
LATIN.
M. Bodirsky,
M. Pinsker,
M. Kompatscher,
2018,
Israel Journal of Mathematics.
Michael Pinsker,
Manuel Bodirsky,
M. Bodirsky,
2012,
ArXiv.
M. Bodirsky,
Simon Knäuer,
2023,
International Colloquium on Automata, Languages and Programming.
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
M. Bodirsky,
Simon Knäuer,
2020,
J. Artif. Intell. Res..
Manuel Bodirsky,
Simon Knäuer,
M. Bodirsky,
2020,
AAAI.
M. Bodirsky,
Simon Knäuer,
2019,
RAMiCS.
Manuel Bodirsky,
M. Bodirsky,
2018,
RAMiCS.
Manuel Bodirsky,
Antoine Mottet,
M. Bodirsky,
2016,
Log. Methods Comput. Sci..
Manuel Bodirsky,
Dugald Macpherson,
M. Bodirsky,
2013,
The Journal of Symbolic Logic.
Daniel Král,
Manuel Bodirsky,
D. Král,
2011,
SIAM J. Discret. Math..
Daniel Král,
Manuel Bodirsky,
D. Král,
2005,
WG.