×
Author ID: bodirsky.manuel Recent zbMATH articles by "Bodirsky, Manuel"
Published as: Bodirsky, Manuel; Bodirsky, M.
External Links: MGP · ORCID

Publications by Year

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 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

Citations by Year