Edit Profile (opens in new tab) Bodirsky, Manuel Co-Author Distance Author ID: bodirsky.manuel Published as: Bodirsky, Manuel; Bodirsky, M. External Links: MGP · ORCID Documents Indexed: 130 Publications since 2001, including 1 Book and 16 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 76 Co-Authors with 122 Joint Publications 1,638 Co-Co-Authors all top 5 Co-Authors 9 single-authored 21 Pinsker, Michael 14 Kang, Mihyun 12 Chen, Hubie 11 Mottet, Antoine 10 Martin, Barnaby D. 8 Jonsson, Peter 8 Kára, Jan 7 Mamino, Marcello 7 von Oertzen, Timo 6 Knäuer, Simon 6 Pongrácz, András 5 Gröpl, Clemens 4 Dalmau, Víctor 4 Greiner, Johannes 4 Starke, Florian 3 Fusy, Éric 3 Giménez, Omer 3 Noy, Marc 3 Pham, Trung Van 3 Rydval, Jakub 3 Vigerske, Stefan 3 Viola, Caterina 3 Vucaj, Albert 2 Bodor, Bertalan 2 Hermann, Miki 2 Hils, Martin 2 Král’, Daniel 2 Kuetz, Martin 2 Madelaine, Florent R. 2 Nešetřil, Jaroslav 2 Niehren, Joachim 2 Olšák, Miroslav 2 Opršal, Jakub 2 Richoux, Florian 2 Rudolph, Sebastian 2 Semanišinová, Žaneta 2 Thom, Andreas Berthold 2 Willard, Ross 2 Wrona, Michał 1 Bradley-Williams, David 1 Bulín, Jakub 1 Duchier, Denys 1 Erk, Katrin 1 Evans, David M. 1 Feder, Tomás 1 Feller, Thomas 1 Gärtner, Tobias 1 Grohe, Martin 1 Guzmán-Pro, Santiago 1 Jahel, Colin 1 Johannsen, Daniel 1 Junker, Markus 1 Koller, Alexander 1 Kompatscher, Michael 1 Kummer, Mario Denis 1 Löffler, Mike 1 Lutz, Carsten 1 Macpherson, Dugald 1 Macpherson, Hugh Dugald 1 McDiarmid, Colin J. H. 1 Miele, Sebastian 1 Mueller, Jens K. 1 Nordh, Gustav 1 Ochremiak, Joanna 1 Pakusa, Wied 1 Piguet, Diana 1 Quinn-Gregson, Thomas 1 Schneider, Friedrich Martin 1 Schneider, Jakob 1 Schrottenloher, André 1 Schwinghammer, Jan 1 Thapper, Johan 1 Tsankov, Todor 1 Verbitsky, Oleg 1 Wernthaler, Michael 1 Zhuk, Dmitriy N. all top 5 Serials 7 Logical Methods in Computer Science 5 The Journal of Symbolic Logic 5 Journal of Logic and Computation 4 Algebra Universalis 4 SIAM Journal on Computing 4 ACM Transactions on Computational Logic 3 Theoretical Computer Science 3 Transactions of the American Mathematical Society 3 International Journal of Algebra and Computation 3 The Journal of Artificial Intelligence Research (JAIR) 3 Journal of the ACM 2 Israel Journal of Mathematics 2 SIAM Journal on Discrete Mathematics 2 Random Structures & Algorithms 2 The Electronic Journal of Combinatorics 2 Constraints 2 Theory of Computing Systems 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Proceedings of the London Mathematical Society. Third Series 1 European Journal of Combinatorics 1 Information and Computation 1 Combinatorics, Probability and Computing 1 Séminaire Lotharingien de Combinatoire 1 Journal of Group Theory 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Journal of Mathematical Logic 1 Oberwolfach Reports 1 Contributions to Discrete Mathematics 1 Lecture Notes in Logic all top 5 Fields 81 Computer science (68-XX) 65 Mathematical logic and foundations (03-XX) 37 General algebraic systems (08-XX) 34 Combinatorics (05-XX) 9 Group theory and generalizations (20-XX) 5 Operations research, mathematical programming (90-XX) 4 Biology and other natural sciences (92-XX) 3 Topological groups, Lie groups (22-XX) 3 Probability theory and stochastic processes (60-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 General and overarching topics; collections (00-XX) 1 Functions of a complex variable (30-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 100 Publications have been cited 878 times in 337 Documents Cited by ▼ Year ▼ The complexity of temporal constraint satisfaction problems. Zbl 1327.68125 Bodirsky, Manuel; Kára, Jan 43 2010 Enumeration and limit laws for series-parallel graphs. Zbl 1127.05052 Bodirsky, Manuel; Giménez, Omer; Kang, Mihyun; Noy, Marc 40 2007 Constraint satisfaction with countable homogeneous templates. Zbl 1113.03026 Bodirsky, Manuel; Nešetřil, Jaroslav 39 2006 The complexity of surjective homomorphism problems-a survey. Zbl 1246.05104 Bodirsky, Manuel; Kára, Jan; Martin, Barnaby 32 2012 Decidability of definability. Zbl 1327.03008 Bodirsky, Manuel; Pinsker, Michael; Tsankov, Todor 28 2013 Topological Birkhoff. Zbl 1375.03032 Bodirsky, Manuel; Pinsker, Michael 27 2015 Cores of countably categorical structures. Zbl 1128.03021 Bodirsky, Manuel 25 2007 Reducts of Ramsey structures. Zbl 1261.03118 Bodirsky, Manuel; Pinsker, Michael 25 2011 Non-dichotomies in constraint satisfaction complexity. Zbl 1155.68403 Bodirsky, Manuel; Grohe, Martin 25 2008 Random cubic planar graphs. Zbl 1114.05094 Bodirsky, Manuel; Kang, Mihyun; Löffler, Mike; McDiarmid, Colin 23 2007 The complexity of equality constraint languages. Zbl 1148.68025 Bodirsky, Manuel; Kára, Jan 20 2008 Boltzmann samplers, Pólya theory, and cycle pointing. Zbl 1232.05008 Bodirsky, Manuel; Fusy, Éric; Kang, Mihyun; Vigerske, Stefan 20 2011 Reconstructing the topology of clones. Zbl 1377.03021 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 19 2017 Minimal functions on the random graph. Zbl 1292.05231 Bodirsky, Manuel; Pinsker, Michael 18 2014 Schaefer’s theorem for graphs. Zbl 1288.05169 Bodirsky, Manuel; Pinsker, Michael 17 2011 Projective clone homomorphisms. Zbl 07370805 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 17 2021 The reducts of equality up to primitive positive interdefinability. Zbl 1408.03021 Bodirsky, Manuel; Chen, Hubie; Pinsker, Michael 16 2010 On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062 Bodirsky, Manuel; Hils, Martin; Martin, Barnaby 15 2012 Datalog and constraint satisfaction with infinite templates. Zbl 1263.68051 Bodirsky, Manuel; Dalmau, Víctor 15 2013 Constraint satisfaction problems with infinite templates. Zbl 1171.03320 Bodirsky, Manuel 14 2008 Constraint satisfaction problems over the integers with successor. Zbl 1440.68111 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 14 2015 New Ramsey classes from old. Zbl 1300.05311 Bodirsky, Manuel 13 2014 Ramsey classes: examples and constructions. Zbl 1352.05183 Bodirsky, Manuel 13 2015 Schaefer’s theorem for graphs. Zbl 1333.05194 Bodirsky, Manuel; Pinsker, Michael 13 2015 Complexity of infinite-domain constraint satisfaction. Zbl 1495.68007 Bodirsky, Manuel 13 2021 The 42 reducts of the random ordered graph. Zbl 1382.03057 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 12 2015 A model-theoretic view on qualitative constraint reasoning. Zbl 1405.68342 Bodirsky, Manuel; Jonsson, Peter 12 2017 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 12 2019 Generating labeled planar graphs uniformly at random. Zbl 1121.68085 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 11 2007 Essential convexity and complexity of semi-algebraic constraints. Zbl 1253.68143 Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo 11 2012 Generating outerplanar graphs uniformly at random. Zbl 1094.05049 Bodirsky, Manuel; Kang, Mihyun 9 2006 The universal homogeneous binary tree. Zbl 1444.03124 Bodirsky, Manuel; Bradley-Williams, David; Pinsker, Michael; Pongrácz, András 9 2018 A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP. Zbl 1452.03084 Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine 9 2018 Quantified equality constraints. Zbl 1220.68058 Bodirsky, Manuel; Chen, Hubie 8 2010 \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations. Zbl 1222.03035 Bodirsky, Manuel; Junker, Markus 8 2010 Generating labeled planar graphs uniformly at random. Zbl 1039.05057 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 8 2003 Enumeration and asymptotic properties of unlabeled outerplanar graphs. Zbl 1158.05320 Bodirsky, Manuel; Fusy, Eric; Kang, Mihyun; Vigerske, Stefan 8 2007 Maximal infinite-valued constraint languages. Zbl 1172.68052 Bodirsky, Manuel; Chen, Hubie; Kára, Jan; von Oertzen, Timo 8 2009 The complexity of phylogeny constraint satisfaction problems. Zbl 1407.68206 Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van 8 2017 Equivalence constraint satisfaction problems. Zbl 1252.03087 Bodirsky, Manuel; Wrona, Michal 8 2012 Oligomorphic clones. Zbl 1121.08005 Bodirsky, Manuel; Chen, Hubie 7 2007 Datalog and constraint satisfaction with infinite templates. Zbl 1136.03314 Bodirsky, Manuel; Dalmau, Víctor 7 2006 Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction. Zbl 1401.68109 Bodirsky, Manuel; Mottet, Antoine 7 2016 Canonical functions: a proof via topological dynamics. Zbl 07406819 Pinsker, Michael; Bodirsky, Manuel 7 2021 Discrete temporal constraint satisfaction problems. Zbl 1425.68135 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 7 2018 A dichotomy for first-order reducts of unary structures. Zbl 1476.03041 Bodirsky, Manuel; Mottet, Antoine 6 2018 Constraint satisfaction problems over numeric domains. Zbl 1482.68162 Bodirsky, Manuel; Mamino, Marcello 6 2017 A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid. Zbl 1404.03031 Bodirsky, Manuel; Evans, David; Kompatscher, Michael; Pinsker, Michael 6 2018 Relatively quantified constraint satisfaction. Zbl 1191.68625 Bodirsky, Manuel; Chen, Hubie 5 2009 The core of a countably categorical structure. Zbl 1119.68096 Bodirsky, Manuel 5 2005 Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction. Zbl 1283.68160 Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo 5 2012 The complexity of phylogeny constraint satisfaction. Zbl 1388.68101 Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van 5 2016 On the number of series parallel and outerplanar graphs. Zbl 1192.05070 Bodirsky, Manuel; Giménez, Omer; Kang, Mihyun; Noy, Marc 5 2005 Constraint satisfaction with countable homogeneous templates. Zbl 1116.03313 Bodirsky, Manuel; Nešetřil, Jaroslav 4 2003 Tropically convex constraint satisfaction. Zbl 1390.68333 Bodirsky, Manuel; Mamino, Marcello 4 2018 Determining the consistency of partial tree descriptions. Zbl 1168.68546 Bodirsky, Manuel; Kutz, Martin 4 2007 The complexity of temporal constraint satisfaction problems. Zbl 1231.68242 Bodirsky, Manuel; Kara, Jan 4 2008 Efficiently computing the density of regular languages. Zbl 1196.68118 Bodirsky, Manuel; Gärtner, Tobias; von Oertzen, Timo; Schwinghammer, Jan 4 2004 A fast algorithm and Datalog inexpressibility for temporal reasoning. Zbl 1351.68051 Bodirsky, Manuel; Kára, Jan 4 2010 Constraint satisfaction tractability from semi-lattice operations on infinite sets. Zbl 1354.68109 Bodirsky, Manuel; Macpherson, H. Dugald; Thapper, Johan 4 2013 The reducts of the homogeneous binary branching \(C\)-relation. Zbl 1436.03181 Bodirsky, Manuel; Jonsson, Peter; Van Pham, Trung 4 2016 Reducts of structures and maximal-closed permutation groups. Zbl 1372.03060 Bodirsky, Manuel; Macpherson, Dugald 4 2016 Distance constraint satisfaction problems. Zbl 1287.68068 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael 4 2010 Tractable set constraints. Zbl 1280.68235 Bodirsky, Manuel; Hils, Martin 4 2012 Generating unlabeled connected cubic planar graphs uniformly at random. Zbl 1138.05067 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 3 2008 Qualitative temporal and spatial reasoning revisited. Zbl 1185.68663 Bodirsky, Manuel; Chen, Hubie 3 2009 The complexity of constraint satisfaction problems (invited talk). Zbl 1355.68111 Bodirsky, Manuel 3 2015 A topological characterisation of endomorphism monoids of countable structures. Zbl 1423.20065 Bodirsky, Manuel; Schneider, Friedrich Martin 3 2017 MAX-closed semilinear constraint satisfaction. Zbl 1386.68067 Bodirsky, Manuel; Mamino, Marcello 3 2016 \( \omega \)-categorical structures avoiding height 1 identities. Zbl 1472.08006 Bodirsky, Manuel; Mottet, Antoine; Olšák, Miroslav; Opršal, Jakub; Pinsker, Michael; Willard, Ross 3 2021 Temporal constraint satisfaction problems in fixed-point logic. Zbl 1498.08003 Bodirsky, Manuel; Pakusa, Wied; Rydval, Jakub 3 2020 ASNP: a tame fragment of existential second-order logic. Zbl 07633504 Bodirsky, Manuel; Knäuer, Simon; Starke, Florian 3 2020 The complexity of combinations of qualitative constraint satisfaction problems. Zbl 1528.68142 Bodirsky, Manuel; Greiner, Johannes 3 2020 Finite relation algebras with normal representations. Zbl 1518.68142 Bodirsky, Manuel 3 2018 The complexity of equality constraint languages. Zbl 1148.68385 Bodirsky, Manuel; Kára, Jan 2 2006 On the complexity of MMSNP. Zbl 1280.68106 Bodirsky, Manuel; Chen, Hubie; Feder, Tomás 2 2012 The complexity of rooted phylogeny problems. Zbl 1237.68095 Bodirsky, Manuel; Mueller, Jens K. 2 2011 Peek arc consistency. Zbl 1186.68458 Bodirsky, Manuel; Chen, Hubie 2 2010 Pure dominance constraints. Zbl 1054.68700 Bodirsky, Manuel; Kutz, Martin 2 2002 Sampling unlabeled biconnected planar graphs. Zbl 1175.05117 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 2 2005 Qualitative temporal and spatial reasoning revisited. Zbl 1179.68150 Bodirsky, Manuel; Chen, Hubie 2 2007 Collapsibility in infinite-domain quantified constraint satisfaction. Zbl 1225.68095 Bodirsky, Manuel; Chen, Hubie 2 2006 Semilinear program feasibility. Zbl 1248.68236 Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo 2 2009 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1388.68102 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 2 2016 Distance constraint satisfaction problems. Zbl 1336.68116 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael 2 2016 Tractability of quantified temporal constraints to the max. Zbl 1320.68097 Bodirsky, Manuel; Chen, Hubie; Wrona, Michał 2 2014 A new algorithm for normal dominance constraints. Zbl 1318.05071 Bodirsky, Manuel; Duchier, Denys; Niehren, Joachim; Miele, Sebastian 2 2004 Complexity of existential positive first-order logic. Zbl 1268.03048 Bodirsky, Manuel; Hermann, Miki; Richoux, Florian 2 2009 Tractable combinations of theories via sampling. Zbl 07437038 Bodirsky, Manuel; Greiner, Johannes 2 2021 A direct decomposition of 3-connected planar graphs. Zbl 1207.05086 Bodirsky, Manuel; Gröpl, Clemens; Johannsen, Daniel; Kang, Mihyun 1 2005 Locally consistent constraint satisfaction problems with binary constraints. Zbl 1171.68723 Bodirsky, Manuel; Král’, Daniel 1 2005 Maximal infinite-valued constraint languages. Zbl 1171.68722 Bodirsky, Manuel; Chen, Hubie; Kára, Jan; von Oertzen, Timo 1 2007 An unbiased pointing operator for unlabeled structures, with applications to counting and sampling. Zbl 1302.05006 Bodirsky, Manuel; Fusy, Eric; Kang, Mihyun; Vigerske, Stefan 1 2007 Hardness of network satisfaction for relation algebras with normal representations. Zbl 07578333 Bodirsky, Manuel; Knäuer, Simon 1 2020 Permutation groups with small orbit growth. Zbl 1523.03012 Bodirsky, Manuel; Bodor, Bertalan 1 2021 Two-element structures modulo primitive positive constructability. Zbl 1477.08003 Bodirsky, Manuel; Vucaj, Albert 1 2020 The complexity of disjunctive linear Diophantine constraints. Zbl 1512.68112 Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine 1 2018 Smooth digraphs modulo primitive positive constructability and cyclic loop conditions. Zbl 1502.08004 Bodirsky, Manuel; Starke, Florian; Vucaj, Albert 1 2021 A proof of the algebraic tractability conjecture for monotone monadic SNP. Zbl 07393743 Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine 1 2021 Complexity of combinations of qualitative constraint satisfaction problems. Zbl 1511.68123 Bodirsky, Manuel; Greiner, Johannes 1 2018 Projective clone homomorphisms. Zbl 07370805 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 17 2021 Complexity of infinite-domain constraint satisfaction. Zbl 1495.68007 Bodirsky, Manuel 13 2021 Canonical functions: a proof via topological dynamics. Zbl 07406819 Pinsker, Michael; Bodirsky, Manuel 7 2021 \( \omega \)-categorical structures avoiding height 1 identities. Zbl 1472.08006 Bodirsky, Manuel; Mottet, Antoine; Olšák, Miroslav; Opršal, Jakub; Pinsker, Michael; Willard, Ross 3 2021 Tractable combinations of theories via sampling. Zbl 07437038 Bodirsky, Manuel; Greiner, Johannes 2 2021 Permutation groups with small orbit growth. Zbl 1523.03012 Bodirsky, Manuel; Bodor, Bertalan 1 2021 Smooth digraphs modulo primitive positive constructability and cyclic loop conditions. Zbl 1502.08004 Bodirsky, Manuel; Starke, Florian; Vucaj, Albert 1 2021 A proof of the algebraic tractability conjecture for monotone monadic SNP. Zbl 07393743 Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine 1 2021 Temporal constraint satisfaction problems in fixed-point logic. Zbl 1498.08003 Bodirsky, Manuel; Pakusa, Wied; Rydval, Jakub 3 2020 ASNP: a tame fragment of existential second-order logic. Zbl 07633504 Bodirsky, Manuel; Knäuer, Simon; Starke, Florian 3 2020 The complexity of combinations of qualitative constraint satisfaction problems. Zbl 1528.68142 Bodirsky, Manuel; Greiner, Johannes 3 2020 Hardness of network satisfaction for relation algebras with normal representations. Zbl 07578333 Bodirsky, Manuel; Knäuer, Simon 1 2020 Two-element structures modulo primitive positive constructability. Zbl 1477.08003 Bodirsky, Manuel; Vucaj, Albert 1 2020 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 12 2019 The universal homogeneous binary tree. Zbl 1444.03124 Bodirsky, Manuel; Bradley-Williams, David; Pinsker, Michael; Pongrácz, András 9 2018 A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP. Zbl 1452.03084 Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine 9 2018 Discrete temporal constraint satisfaction problems. Zbl 1425.68135 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 7 2018 A dichotomy for first-order reducts of unary structures. Zbl 1476.03041 Bodirsky, Manuel; Mottet, Antoine 6 2018 A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid. Zbl 1404.03031 Bodirsky, Manuel; Evans, David; Kompatscher, Michael; Pinsker, Michael 6 2018 Tropically convex constraint satisfaction. Zbl 1390.68333 Bodirsky, Manuel; Mamino, Marcello 4 2018 Finite relation algebras with normal representations. Zbl 1518.68142 Bodirsky, Manuel 3 2018 The complexity of disjunctive linear Diophantine constraints. Zbl 1512.68112 Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine 1 2018 Complexity of combinations of qualitative constraint satisfaction problems. Zbl 1511.68123 Bodirsky, Manuel; Greiner, Johannes 1 2018 Reconstructing the topology of clones. Zbl 1377.03021 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 19 2017 A model-theoretic view on qualitative constraint reasoning. Zbl 1405.68342 Bodirsky, Manuel; Jonsson, Peter 12 2017 The complexity of phylogeny constraint satisfaction problems. Zbl 1407.68206 Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van 8 2017 Constraint satisfaction problems over numeric domains. Zbl 1482.68162 Bodirsky, Manuel; Mamino, Marcello 6 2017 A topological characterisation of endomorphism monoids of countable structures. Zbl 1423.20065 Bodirsky, Manuel; Schneider, Friedrich Martin 3 2017 Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction. Zbl 1401.68109 Bodirsky, Manuel; Mottet, Antoine 7 2016 The complexity of phylogeny constraint satisfaction. Zbl 1388.68101 Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van 5 2016 The reducts of the homogeneous binary branching \(C\)-relation. Zbl 1436.03181 Bodirsky, Manuel; Jonsson, Peter; Van Pham, Trung 4 2016 Reducts of structures and maximal-closed permutation groups. Zbl 1372.03060 Bodirsky, Manuel; Macpherson, Dugald 4 2016 MAX-closed semilinear constraint satisfaction. Zbl 1386.68067 Bodirsky, Manuel; Mamino, Marcello 3 2016 Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1388.68102 Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András 2 2016 Distance constraint satisfaction problems. Zbl 1336.68116 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael 2 2016 Topological Birkhoff. Zbl 1375.03032 Bodirsky, Manuel; Pinsker, Michael 27 2015 Constraint satisfaction problems over the integers with successor. Zbl 1440.68111 Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine 14 2015 Ramsey classes: examples and constructions. Zbl 1352.05183 Bodirsky, Manuel 13 2015 Schaefer’s theorem for graphs. Zbl 1333.05194 Bodirsky, Manuel; Pinsker, Michael 13 2015 The 42 reducts of the random ordered graph. Zbl 1382.03057 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 12 2015 The complexity of constraint satisfaction problems (invited talk). Zbl 1355.68111 Bodirsky, Manuel 3 2015 Minimal functions on the random graph. Zbl 1292.05231 Bodirsky, Manuel; Pinsker, Michael 18 2014 New Ramsey classes from old. Zbl 1300.05311 Bodirsky, Manuel 13 2014 Tractability of quantified temporal constraints to the max. Zbl 1320.68097 Bodirsky, Manuel; Chen, Hubie; Wrona, Michał 2 2014 Decidability of definability. Zbl 1327.03008 Bodirsky, Manuel; Pinsker, Michael; Tsankov, Todor 28 2013 Datalog and constraint satisfaction with infinite templates. Zbl 1263.68051 Bodirsky, Manuel; Dalmau, Víctor 15 2013 Constraint satisfaction tractability from semi-lattice operations on infinite sets. Zbl 1354.68109 Bodirsky, Manuel; Macpherson, H. Dugald; Thapper, Johan 4 2013 The complexity of surjective homomorphism problems-a survey. Zbl 1246.05104 Bodirsky, Manuel; Kára, Jan; Martin, Barnaby 32 2012 On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062 Bodirsky, Manuel; Hils, Martin; Martin, Barnaby 15 2012 Essential convexity and complexity of semi-algebraic constraints. Zbl 1253.68143 Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo 11 2012 Equivalence constraint satisfaction problems. Zbl 1252.03087 Bodirsky, Manuel; Wrona, Michal 8 2012 Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction. Zbl 1283.68160 Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo 5 2012 Tractable set constraints. Zbl 1280.68235 Bodirsky, Manuel; Hils, Martin 4 2012 On the complexity of MMSNP. Zbl 1280.68106 Bodirsky, Manuel; Chen, Hubie; Feder, Tomás 2 2012 Reducts of Ramsey structures. Zbl 1261.03118 Bodirsky, Manuel; Pinsker, Michael 25 2011 Boltzmann samplers, Pólya theory, and cycle pointing. Zbl 1232.05008 Bodirsky, Manuel; Fusy, Éric; Kang, Mihyun; Vigerske, Stefan 20 2011 Schaefer’s theorem for graphs. Zbl 1288.05169 Bodirsky, Manuel; Pinsker, Michael 17 2011 The complexity of rooted phylogeny problems. Zbl 1237.68095 Bodirsky, Manuel; Mueller, Jens K. 2 2011 The complexity of temporal constraint satisfaction problems. Zbl 1327.68125 Bodirsky, Manuel; Kára, Jan 43 2010 The reducts of equality up to primitive positive interdefinability. Zbl 1408.03021 Bodirsky, Manuel; Chen, Hubie; Pinsker, Michael 16 2010 Quantified equality constraints. Zbl 1220.68058 Bodirsky, Manuel; Chen, Hubie 8 2010 \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations. Zbl 1222.03035 Bodirsky, Manuel; Junker, Markus 8 2010 A fast algorithm and Datalog inexpressibility for temporal reasoning. Zbl 1351.68051 Bodirsky, Manuel; Kára, Jan 4 2010 Distance constraint satisfaction problems. Zbl 1287.68068 Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael 4 2010 Peek arc consistency. Zbl 1186.68458 Bodirsky, Manuel; Chen, Hubie 2 2010 Maximal infinite-valued constraint languages. Zbl 1172.68052 Bodirsky, Manuel; Chen, Hubie; Kára, Jan; von Oertzen, Timo 8 2009 Relatively quantified constraint satisfaction. Zbl 1191.68625 Bodirsky, Manuel; Chen, Hubie 5 2009 Qualitative temporal and spatial reasoning revisited. Zbl 1185.68663 Bodirsky, Manuel; Chen, Hubie 3 2009 Semilinear program feasibility. Zbl 1248.68236 Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo 2 2009 Complexity of existential positive first-order logic. Zbl 1268.03048 Bodirsky, Manuel; Hermann, Miki; Richoux, Florian 2 2009 Non-dichotomies in constraint satisfaction complexity. Zbl 1155.68403 Bodirsky, Manuel; Grohe, Martin 25 2008 The complexity of equality constraint languages. Zbl 1148.68025 Bodirsky, Manuel; Kára, Jan 20 2008 Constraint satisfaction problems with infinite templates. Zbl 1171.03320 Bodirsky, Manuel 14 2008 The complexity of temporal constraint satisfaction problems. Zbl 1231.68242 Bodirsky, Manuel; Kara, Jan 4 2008 Generating unlabeled connected cubic planar graphs uniformly at random. Zbl 1138.05067 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 3 2008 Enumeration and limit laws for series-parallel graphs. Zbl 1127.05052 Bodirsky, Manuel; Giménez, Omer; Kang, Mihyun; Noy, Marc 40 2007 Cores of countably categorical structures. Zbl 1128.03021 Bodirsky, Manuel 25 2007 Random cubic planar graphs. Zbl 1114.05094 Bodirsky, Manuel; Kang, Mihyun; Löffler, Mike; McDiarmid, Colin 23 2007 Generating labeled planar graphs uniformly at random. Zbl 1121.68085 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 11 2007 Enumeration and asymptotic properties of unlabeled outerplanar graphs. Zbl 1158.05320 Bodirsky, Manuel; Fusy, Eric; Kang, Mihyun; Vigerske, Stefan 8 2007 Oligomorphic clones. Zbl 1121.08005 Bodirsky, Manuel; Chen, Hubie 7 2007 Determining the consistency of partial tree descriptions. Zbl 1168.68546 Bodirsky, Manuel; Kutz, Martin 4 2007 Qualitative temporal and spatial reasoning revisited. Zbl 1179.68150 Bodirsky, Manuel; Chen, Hubie 2 2007 Maximal infinite-valued constraint languages. Zbl 1171.68722 Bodirsky, Manuel; Chen, Hubie; Kára, Jan; von Oertzen, Timo 1 2007 An unbiased pointing operator for unlabeled structures, with applications to counting and sampling. Zbl 1302.05006 Bodirsky, Manuel; Fusy, Eric; Kang, Mihyun; Vigerske, Stefan 1 2007 Constraint satisfaction with countable homogeneous templates. Zbl 1113.03026 Bodirsky, Manuel; Nešetřil, Jaroslav 39 2006 Generating outerplanar graphs uniformly at random. Zbl 1094.05049 Bodirsky, Manuel; Kang, Mihyun 9 2006 Datalog and constraint satisfaction with infinite templates. Zbl 1136.03314 Bodirsky, Manuel; Dalmau, Víctor 7 2006 The complexity of equality constraint languages. Zbl 1148.68385 Bodirsky, Manuel; Kára, Jan 2 2006 Collapsibility in infinite-domain quantified constraint satisfaction. Zbl 1225.68095 Bodirsky, Manuel; Chen, Hubie 2 2006 The core of a countably categorical structure. Zbl 1119.68096 Bodirsky, Manuel 5 2005 On the number of series parallel and outerplanar graphs. Zbl 1192.05070 Bodirsky, Manuel; Giménez, Omer; Kang, Mihyun; Noy, Marc 5 2005 Sampling unlabeled biconnected planar graphs. Zbl 1175.05117 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 2 2005 A direct decomposition of 3-connected planar graphs. Zbl 1207.05086 Bodirsky, Manuel; Gröpl, Clemens; Johannsen, Daniel; Kang, Mihyun 1 2005 Locally consistent constraint satisfaction problems with binary constraints. Zbl 1171.68723 Bodirsky, Manuel; Král’, Daniel 1 2005 Efficiently computing the density of regular languages. Zbl 1196.68118 Bodirsky, Manuel; Gärtner, Tobias; von Oertzen, Timo; Schwinghammer, Jan 4 2004 A new algorithm for normal dominance constraints. Zbl 1318.05071 Bodirsky, Manuel; Duchier, Denys; Niehren, Joachim; Miele, Sebastian 2 2004 Generating labeled planar graphs uniformly at random. Zbl 1039.05057 Bodirsky, Manuel; Gröpl, Clemens; Kang, Mihyun 8 2003 Constraint satisfaction with countable homogeneous templates. Zbl 1116.03313 Bodirsky, Manuel; Nešetřil, Jaroslav 4 2003 Pure dominance constraints. Zbl 1054.68700 Bodirsky, Manuel; Kutz, Martin 2 2002 all cited Publications top 5 cited Publications all top 5 Cited by 368 Authors 48 Bodirsky, Manuel 26 Martin, Barnaby D. 24 Pinsker, Michael 20 Noy, Marc 18 Jonsson, Peter 13 Paulusma, Daniël 13 Rué, Juanjo 13 Voblyĭ, Vitaliĭ Antonievich 12 Kang, Mihyun 12 Lagerkvist, Victor 10 Stufler, Benedikt 9 Pongrácz, András 9 Živný, Stanislav 8 Giménez, Omer 8 Mottet, Antoine 7 McDiarmid, Colin J. H. 7 Pech, Christian 7 Pech, Maja 7 Requilé, Clément 7 Sprussel, Philipp 6 Chen, Hubie 6 Drmota, Michael 6 Golovach, Petr A. 6 Madelaine, Florent R. 6 Smith, Siani 5 Barto, Libor 5 Kompatscher, Michael 5 Mamino, Marcello 5 Rydval, Jakub 4 Bodini, Olivier 4 Bodor, Bertalan 4 Bulatov, Andrei A. 4 Dalmau, Víctor 4 Jonušas, Julius 4 Mašulović, Dragan 4 Nešetřil, Jaroslav 4 Nordh, Gustav 4 Panagiotou, Konstantinos D. 4 Szabó, Csaba 4 Thapper, Johan 3 Baader, Franz 3 Behrisch, Mike 3 Brause, Christoph 3 Dowden, Chris 3 Greiner, Johannes 3 Guingona, Vincent 3 Guruswami, Venkatesan 3 Hell, Pavol 3 Johnson, Matthew 3 Kaplan, Itay 3 Kára, Jan 3 Knäuer, Simon 3 Koponen, Vera 3 Krokhin, Andrei A. 3 Larose, Benoit 3 Macpherson, Dugald 3 Moßhammer, Michael 3 Olšák, Miroslav 3 Opršal, Jakub 3 Roy, Biman 3 Schneider, Friedrich Martin 3 Simon, Pierre 3 Starke, Florian 3 Truss, John Kenneth 3 Vargas, Edith Mireya 3 Velona, Vasiliki 3 Viola, Caterina 3 Wrona, Michał 3 Zhuk, Dmitriy N. 2 Addario-Berry, Louigi 2 Agarwal, Lovkush 2 Allamigeon, Xavier 2 Brakensiek, Joshua 2 Braunfeld, Samuel 2 Briceño, Raimundo 2 Cameron, Peter Jephson 2 Chudnovsky, Maria 2 Coja-Oghlan, Amin 2 Coleman, Thomas D. H. 2 Dabrowski, Konrad Kazimierz 2 de Mier, Anna 2 Evans, David M. 2 Fang, Wenjie 2 Fusy, Éric 2 Gaubert, Stéphane 2 Gillibert, Pierre 2 Gittenberger, Bernhard 2 Glaßer, Christian 2 Goberna, Miguel Angel 2 Goodall, Andrew J. 2 Grohe, Martin 2 Gröpl, Clemens 2 Hermann, Miki 2 Hill, Cameron Donnay 2 Huang, Shenwei 2 Jin, Emma Yu 2 Kalina, Kende 2 Kazda, Alexandr 2 Kozik, Marcin 2 Kuusisto, Antti ...and 268 more Authors all top 5 Cited in 86 Serials 16 Theoretical Computer Science 16 The Electronic Journal of Combinatorics 13 European Journal of Combinatorics 12 SIAM Journal on Computing 9 Algebra Universalis 8 Discrete Applied Mathematics 8 Discrete Mathematics 8 International Journal of Algebra and Computation 7 Journal of Combinatorial Theory. Series B 7 Transactions of the American Mathematical Society 7 SIAM Journal on Discrete Mathematics 7 Random Structures & Algorithms 7 Combinatorics, Probability and Computing 7 Constraints 7 Logical Methods in Computer Science 6 Artificial Intelligence 6 Journal of Computer and System Sciences 6 The Journal of Symbolic Logic 6 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 5 Annals of Pure and Applied Logic 5 Algorithmica 4 Israel Journal of Mathematics 4 Advances in Mathematics 4 Proceedings of the London Mathematical Society. Third Series 4 Theory of Computing Systems 3 Mathematical Notes 3 Journal of Combinatorial Theory. Series A 3 Order 3 Information and Computation 3 Archive for Mathematical Logic 2 Information Processing Letters 2 Proceedings of the American Mathematical Society 2 Studia Logica 2 Discrete & Computational Geometry 2 Applied Categorical Structures 2 Journal of Mathematical Sciences (New York) 2 Mathematical Logic Quarterly (MLQ) 2 The Journal of Artificial Intelligence Research (JAIR) 2 Journal of Group Theory 2 Journal of Mathematical Logic 2 ACM Transactions on Computational Logic 2 Oberwolfach Reports 2 Contributions to Discrete Mathematics 2 ALEA. Latin American Journal of Probability and Mathematical Statistics 1 Acta Informatica 1 Communications in Algebra 1 Journal of Mathematical Analysis and Applications 1 Bulletin of the London Mathematical Society 1 Collectanea Mathematica 1 Fundamenta Mathematicae 1 Journal of the London Mathematical Society. Second Series 1 Journal of Pure and Applied Algebra 1 Monatshefte für Mathematik 1 Notre Dame Journal of Formal Logic 1 Advances in Applied Mathematics 1 Ergodic Theory and Dynamical Systems 1 Graphs and Combinatorics 1 Journal of Symbolic Computation 1 Probability Theory and Related Fields 1 Journal of Automated Reasoning 1 Journal of the American Mathematical Society 1 Publicacions Matemàtiques 1 Forum Mathematicum 1 Annals of Operations Research 1 Discrete Mathematics and Applications 1 Journal of Global Optimization 1 Electronic Journal of Probability 1 Izvestiya: Mathematics 1 Doklady Mathematics 1 Journal of Combinatorial Optimization 1 Journal of the ACM 1 Annals of Combinatorics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Journal of Integer Sequences 1 Journal of the European Mathematical Society (JEMS) 1 Probability in the Engineering and Informational Sciences 1 4OR 1 Probability Surveys 1 Symmetry 1 Iranian Journal of Mathematical Sciences and Informatics 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming 1 Annales Henri Lebesgue 1 The Art of Discrete and Applied Mathematics 1 Prikladnaya Diskretnaya Matematika 1 Combinatorial Theory all top 5 Cited in 26 Fields 166 Combinatorics (05-XX) 136 Computer science (68-XX) 107 Mathematical logic and foundations (03-XX) 71 General algebraic systems (08-XX) 30 Group theory and generalizations (20-XX) 22 Probability theory and stochastic processes (60-XX) 19 Order, lattices, ordered algebraic structures (06-XX) 18 Operations research, mathematical programming (90-XX) 9 Topological groups, Lie groups (22-XX) 7 Dynamical systems and ergodic theory (37-XX) 7 General topology (54-XX) 6 Category theory; homological algebra (18-XX) 5 Statistical mechanics, structure of matter (82-XX) 4 Algebraic geometry (14-XX) 3 Manifolds and cell complexes (57-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Abstract harmonic analysis (43-XX) 2 Convex and discrete geometry (52-XX) 2 Biology and other natural sciences (92-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Measure and integration (28-XX) 1 Geometry (51-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year