Urmăriți
Manuel Bodirsky
Manuel Bodirsky
TU Dresden, Institut für Algebra
Adresă de e-mail confirmată pe tu-dresden.de - Pagina de pornire
Titlu
Citat de
Citat de
Anul
The complexity of temporal constraint satisfaction problems
M Bodirsky, J Kára
Journal of the ACM (JACM) 57 (2), 1-41, 2010
2212010
Constraint satisfaction with countable homogeneous templates
M Bodirsky, J Nešetřil
Journal of Logic and Computation 16 (3), 359-373, 2006
1512006
Decidability of definability
M Bodirsky, M Pinsker, T Tsankov
The Journal of Symbolic Logic 78 (4), 1036-1054, 2013
1242013
Schaefer's theorem for graphs
M Bodirsky, M Pinsker
Journal of the ACM (JACM) 62 (3), 1-52, 2015
1192015
Cores of countably categorical structures
M Bodirsky
Logical Methods in Computer Science 3, 2007
1172007
Enumeration and limit laws for series–parallel graphs
M Bodirsky, O Giménez, M Kang, M Noy
European Journal of Combinatorics 28 (8), 2091-2105, 2007
1122007
Datalog and constraint satisfaction with infinite templates
M Bodirsky, V Dalmau
Journal of Computer and System Sciences 79 (1), 79-100, 2013
111*2013
Non-dichotomies in constraint satisfaction complexity
M Bodirsky, M Grohe
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
1072008
Complexity classification in infinite-domain constraint satisfaction
M Bodirsky
arXiv preprint arXiv:1201.0856, 2012
1052012
The complexity of equality constraint languages
M Bodirsky, J Kára
Theory of Computing Systems 43, 136-158, 2008
1002008
Boltzmann samplers, Pólya theory, and cycle pointing
M Bodirsky, É Fusy, M Kang, S Vigerske
SIAM Journal on Computing 40 (3), 721-769, 2011
96*2011
Complexity of infinite-domain constraint satisfaction
M Bodirsky
Cambridge University Press, 2021
862021
Topological Birkhoff
M Bodirsky, M Pinsker
Transactions of the American Mathematical Society 367 (4), 2527-2549, 2015
832015
Reducts of Ramsey structures
M Bodirsky, M Pinsker
AMS Contemporary Mathematics 558, 489-519, 2011
822011
Projective clone homomorphisms
M Bodirsky, M Pinsker, A Pongrácz
The Journal of Symbolic Logic 86 (1), 148-161, 2021
752021
Constraint satisfaction problems with infinite templates
M Bodirsky
Complexity of Constraints: An Overview of Current Research Themes, 196-228, 2008
742008
The complexity of surjective homomorphism problems—a survey
M Bodirsky, J Kára, B Martin
Discrete Applied Mathematics 160 (12), 1680-1690, 2012
722012
Ramsey classes: examples and constructions.
M Bodirsky
Surveys in combinatorics 424 (2015), 1, 2015
682015
Well-nested drawings as models of syntactic structure
M Bodirsky, M Kuhlmann, M Möhl
Tenth Conference on Formal Grammar and Ninth Meeting on Mathematics of …, 2005
652005
A dichotomy for first-order reducts of unary structures
M Bodirsky, A Mottet
Logical Methods in Computer Science 14, 2018
64*2018
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20