Personal information

Verified email addresses

Verified email domains

Germany

Activities

Employment (3)

Technische Universität Dresden: N/A, DE

2014-08-01 to present | Academic Staff (Faculty of Computer Sciences)
Employment
Source: check_circle
FIS TU Dresden

Technische Universität Dresden: N/A, DE

2014-08-01 to present | Academic Staff (Chair of Algebra and Discrete Structures)
Employment
Source: check_circle
FIS TU Dresden

TU Dresden: Dresden, Sachsen, DE

2014 to present | Prof (Institut für Algebra)
Employment
Source: Self-asserted source
Manuel Bodirsky

Funding (5)

Finitely Bounded Homogeneous Structures

2021-01-01 to present | Grant
Deutsche Forschungsgemeinschaft (Bonn, DE)
GRANT_NUMBER: 467967530
Source: Self-asserted source
Manuel Bodirsky via DimensionsWizard

Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones

2016-10-01 to 2021-09-30 | Grant
European Research Council (Brussels, BE)
GRANT_NUMBER: 681988
Source: Self-asserted source
Manuel Bodirsky via DimensionsWizard

Homogeneous structures, constraint satisfaction problems, and topological clones

2015-01-01 to 2019-12-31 | Grant
German Research Foundation (Bonn, DE)
GRANT_NUMBER: 280296726
Source: Self-asserted source
Manuel Bodirsky via DimensionsWizard

GRK 1763:  Quantitative Logics and Automata

2012-01-01 to 2021-12-31 | Grant
German Research Foundation (Bonn, DE)
GRANT_NUMBER: 189782547
Source: Self-asserted source
Manuel Bodirsky via DimensionsWizard

Constraint Satisfaction Problems: Algorithms and Complexity

2011-01-01 to 2015-12-31 | Grant
European Research Council (Brussels, BE)
GRANT_NUMBER: 257039
Source: Self-asserted source
Manuel Bodirsky via DimensionsWizard

Works (50 of 136)

Items per page:
Page 1 of 3

Complexity Classification Transfer for CSPs via Algebraic Products

SIAM Journal on Computing
2024-10-31 | Journal article
Contributors: Manuel Bodirsky; Peter Jonsson; Barnaby Martin; Antoine Mottet; Žaneta Semanišinová
Source: check_circle
Crossref

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems

2024-07-08 | Conference paper
Contributors: Manuel Bodirsky; Žaneta Semanišinová; Carsten Lutz
Source: check_circle
Crossref

Symmetric Linear Arc Monadic Datalog and Gadget Reductions

2024-07-06 | Preprint | Author
SOURCE-WORK-ID:

0679c5fb-d7cd-444c-93aa-86d3a96d9147

Contributors: Manuel Bodirsky; Florian Starke
Source: check_circle
FIS TU Dresden

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory

ACM Transactions on Computation Theory
2024-06-30 | Journal article
Contributors: Manuel Bodirsky; Bertalan Bodor
Source: check_circle
Crossref

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems

2023-09-27 | Preprint | Author
SOURCE-WORK-ID:

6299694b-81a9-452d-aa2b-5f60e9ff5c4d

Contributors: Manuel Bodirsky; Žaneta Semanišinová; Carsten Lutz
Source: check_circle
FIS TU Dresden

Forbidden Tournaments and the Orientation Completion Problem

2023-09-15 | Preprint | Author
SOURCE-WORK-ID:

c993eef6-db7e-49e1-a578-fb5b3903e964

Contributors: Manuel Bodirsky; Santiago Guzmán-Pro
Source: check_circle
FIS TU Dresden

Network Satisfaction Problems Solved by k-Consistency

50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
2023-07 | Conference paper | Author
SOURCE-WORK-ID:

e109a248-7668-4c06-a64a-68689a3b302d

EID:

2-s2.0-85167338316

Part of ISBN: 9783959772785
Contributors: Manuel Bodirsky; Simon Knäuer
Source: check_circle
FIS TU Dresden

The lattice of clones of self-dual operations collapsed

International Journal of Algebra and Computation
2023-06 | Journal article | Author
SOURCE-WORK-ID:

c62f5f22-5b2d-4651-b277-f2f09118df36

EID:

2-s2.0-85162797770

Contributors: Manuel Bodirsky; Albert Vucaj; Dmitriy Zhuk
Source: check_circle
FIS TU Dresden

The smallest hard trees

Constraints
2023-06 | Journal article
Contributors: Manuel Bodirsky; Jakub Bulín; Florian Starke; Michael Wernthaler
Source: check_circle
Crossref

Network Satisfaction Problems Solved by k-Consistency

2023-04-25 | Preprint | Author
SOURCE-WORK-ID:

f0f22dfc-6810-47fb-921c-3f56f07daec3

Contributors: Manuel Bodirsky; Simon Knäuer
Source: check_circle
FIS TU Dresden

On the Descriptive Complexity of Temporal Constraint Satisfaction Problems

Journal of the ACM
2023-02-28 | Journal article
Contributors: Manuel Bodirsky; Jakub Rydval
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom

J. Artif. Intell. Res.
2022 | Journal article | Author
SOURCE-WORK-ID:

691764a8-db36-4146-aa32-805cffc915c1

EID:

2-s2.0-85148429779

Contributors: Manuel Bodirsky; Simon Knäuer
Source: check_circle
FIS TU Dresden

Tractable Combinations of Temporal CSPs.

Logical Methods in Computer Science
2022 | Journal article | Author
SOURCE-WORK-ID:

e47fe552-75b6-4b6e-90e9-9ed81d25bdd3

Contributors: Manuel Bodirsky; Johannes Greiner; Jakub Rydval
Source: check_circle
FIS TU Dresden

Maximal Digraphs with Respect to Primitive Positive Constructability

Combinatorica : an international journal on combinatorics and the theory of computing
2022-12 | Journal article | Author
SOURCE-WORK-ID:

cb3ae751-e198-4b86-a7f8-6600b1508b3e

EID:

2-s2.0-85139669718

Contributors: Manuel Bodirsky; Florian Starke
Source: check_circle
FIS TU Dresden

Complexity Classification Transfer for CSPs via Algebraic Products

2022-11-07 | Preprint | Author
SOURCE-WORK-ID:

f971aadd-a376-4efe-ad4c-379714f02637

Contributors: Manuel Bodirsky; Peter Jonsson; Barnaby Martin; Antoine Mottet; Žaneta Semanišinová
Source: check_circle
FIS TU Dresden

Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields

2022-06-13 | Preprint | Author
SOURCE-WORK-ID:

162c31bf-5686-4ae3-bf62-4e2d5dc8a474

Contributors: Manuel Bodirsky; Mario Kummer; Andreas Thom
Source: check_circle
FIS TU Dresden

The Smallest Hard Trees

2022-05-16 | Preprint | Author
SOURCE-WORK-ID:

b63f1e4a-920f-4c86-8aa1-c55ffaa9edf0

Contributors: Manuel Bodirsky; Jakub Bulín; Florian Starke; Michael Wernthaler
Source: check_circle
FIS TU Dresden

Universal Horn Sentences and the Joint Embedding Property.

Discrete mathematics & theoretical computer science
2022-05-06 | Journal article | Author
SOURCE-WORK-ID:

b0c2b9be-ab8d-4bbf-8365-73be995855e0

EID:

2-s2.0-85142044832

Contributors: Manuel Bodirsky; Jakub Rydval; André Schrottenloher
Source: check_circle
FIS TU Dresden

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms

2022-04-04 | Preprint | Author
SOURCE-WORK-ID:

287076b4-a646-43e2-a5ff-d3d48cee7090

Contributors: Manuel Bodirsky; Colin Jahel
Source: check_circle
FIS TU Dresden

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation

ACM transactions on computational logic
2022-01-01 | Journal article | Author
SOURCE-WORK-ID:

7c2b9c84-a59c-49f5-98ba-30765928b24b

EID:

2-s2.0-85124044922

Contributors: Manuel Bodirsky; Marcello Mamino; Caterina Viola
Source: check_circle
FIS TU Dresden

A proof of the algebraic tractability conjecture for monotone monadic SNP

SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics
2021 | Journal article | Author
SOURCE-WORK-ID:

0eae4641-43a6-4537-9e0f-53f135b5f55f

EID:

2-s2.0-85110840905

Contributors: Manuel Bodirsky; Florent Madelaine; Antoine Mottet
Source: check_circle
FIS TU Dresden

Amalgamation is Undecidable.

2021 | Preprint | Author
SOURCE-WORK-ID:

4739646a-5db5-40fb-8402-54c60aef2828

Contributors: Manuel Bodirsky; Simon Knäuer; Jakub Rydval
Source: check_circle
FIS TU Dresden

Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom.

35th AAAI Conference on Artificial Intelligence, AAAI 2021
2021 | Conference paper | Author
SOURCE-WORK-ID:

3ae2142b-d062-4c4e-aad2-aa91b8a0ebe6

EID:

2-s2.0-85110955943

Part of ISBN: 9781713835974
Contributors: Manuel Bodirsky; Simon Knäuer
Source: check_circle
FIS TU Dresden

Piecewise linear valued constraint satisfaction problems with fixed number of variables

AIRO Springer Series
2021 | Book chapter | Author
SOURCE-WORK-ID:

0ecb924e-cd13-4d33-87aa-4b14af1542c1

EID:

2-s2.0-85107075121

Contributors: Manuel Bodirsky; Marcello Mamino; Caterina Viola
Source: check_circle
FIS TU Dresden

Tractable Combinations of Theories via Sampling

Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings
2021 | Conference paper | Author
SOURCE-WORK-ID:

f2fefa89-63cb-44c7-837f-5d16e0ebda11

EID:

2-s2.0-85111104683

Part of ISBN: 9783030757748
Contributors: Manuel Bodirsky; Johannes Greiner
Source: check_circle
FIS TU Dresden

Solving equation systems in ω -categorical algebras

Journal of Mathematical Logic : JML
2021-12-01 | Journal article | Author
SOURCE-WORK-ID:

632ae118-2a66-4adb-8730-4e93dbd47125

EID:

2-s2.0-85118186301

Contributors: Manuel Bodirsky; Thomas Quinn-Gregson
Source: check_circle
FIS TU Dresden

Smooth digraphs modulo primitive positive constructability and cyclic loop conditions

International journal of algebra and computation
2021-08 | Journal article | Author
SOURCE-WORK-ID:

dc0b4336-49cf-4d72-8571-be4bbb69202d

EID:

2-s2.0-85108736543

Contributors: Manuel Bodirsky; Florian Starke; Albert Vucaj
Source: check_circle
FIS TU Dresden

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
2021-07-01 | Conference paper | Author
SOURCE-WORK-ID:

4b84a5b2-d86d-4910-bf7f-c31541f55698

EID:

2-s2.0-85106412752

Part of ISBN: 978-3-95977-195-5
Contributors: Manuel Bodirsky; Simon Knäuer; Sebastian Rudolph
Source: check_circle
FIS TU Dresden

Complexity of Infinite-Domain Constraint Satisfaction

2021-06-30 | Book | Author
SOURCE-WORK-ID:

66881848-bee4-43ec-ada0-9a03ef37d8b4

Contributors: Manuel Bodirsky
Source: check_circle
FIS TU Dresden

Canonical functions

Contributions to Discrete Mathematics : CDM
2021-06-29 | Journal article | Author
SOURCE-WORK-ID:

fe4401fd-a476-4d1b-94d3-9e661d57d1dc

EID:

2-s2.0-85120606049

Contributors: Manuel Bodirsky; Michael Pinsker
Source: check_circle
FIS TU Dresden

Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property.

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021
2021-06-29 | Conference paper | Author
SOURCE-WORK-ID:

c8844bd5-9322-4bc6-915e-98a7376459c4

EID:

2-s2.0-85110859569

Contributors: Manuel Bodirsky; Bertalan Bodor
Source: check_circle
FIS TU Dresden

On Logics and Homomorphism Closure

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021
2021-06-29 | Conference paper | Author
SOURCE-WORK-ID:

f9fa64f3-9ea4-4287-8f0f-731ad5312bf5

EID:

2-s2.0-85106420600

Part of ISBN: 9781665448956
Contributors: Manuel Bodirsky; Thomas Feller; Simon Knäuer; Sebastian Rudolph
Source: check_circle
FIS TU Dresden

PROJECTIVE CLONE HOMOMORPHISMS

The journal of symbolic logic
2021-03 | Journal article | Author
SOURCE-WORK-ID:

a6683b5c-8e57-4b15-8eaa-69f8b57ef9a0

EID:

2-s2.0-85109491413

Contributors: Manuel Bodirsky; Michael Pinsker; András Pongrácz
Source: check_circle
FIS TU Dresden

ω-categorical structures avoiding height 1 identities

Transactions of the American Mathematical Society
2021-01 | Journal article | Author
SOURCE-WORK-ID:

5adb3302-1527-42ec-876f-49a73c797d80

EID:

2-s2.0-85097878129

Contributors: Manuel Bodirsky; Antoine Mottet; Miroslav Olšák; Jakub Opršal; Michael Pinsker; Ross Willard
Source: check_circle
FIS TU Dresden

Permutation groups with small orbit growth

Journal of Group Theory
2021-01-20 | Journal article | Author
SOURCE-WORK-ID:

4c66ce17-08a4-49e6-8e28-3ebea7a01eac

EID:

2-s2.0-85100068116

Contributors: Manuel Bodirsky; Bertalan Bodor
Source: check_circle
FIS TU Dresden

ASNP

Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings
2020 | Conference paper | Author
SOURCE-WORK-ID:

ac794c6f-46e7-45a7-8285-dfb2d06215de

EID:

2-s2.0-85088211313

Part of ISBN: 9783030514655
Contributors: Manuel Bodirsky; Simon Knäuer; Florian Starke
Source: check_circle
FIS TU Dresden

Hardness of Network Satisfaction for Relation Algebras with Normal Representations.

RAMiCS
2020 | Conference paper | Author
SOURCE-WORK-ID:

300638ab-480b-4d4c-b7f4-7be6265f38d6

EID:

2-s2.0-85083960691

Contributors: Manuel Bodirsky; Simon Knäuer
Source: check_circle
FIS TU Dresden

Temporal Constraint Satisfaction Problems in Fixed-Point Logic

2020 | Working paper | Author
SOURCE-WORK-ID:

beb82842-f059-47e1-9bd6-efb4ae60d7e1

Contributors: Manuel Bodirsky; Wied Pakusa; Jakub Rydval
Source: check_circle
FIS TU Dresden

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Logical methods in computer science : LMCS
2020 | Journal article | Author
SOURCE-WORK-ID:

da213db7-f481-46ab-9d68-0dfda9a65feb

EID:

2-s2.0-85082138655

Contributors: Manuel Bodirsky; Johannes Greiner
Source: check_circle
FIS TU Dresden

Tractable Combinations of Temporal CSPs.

2020 | Preprint | Author
SOURCE-WORK-ID:

37bee3df-3694-4410-ac97-5092d257b49e

EID:

2-s2.0-85133430854

Contributors: Manuel Bodirsky; Johannes Greiner; Jakub Rydval
Source: check_circle
FIS TU Dresden

Temporal Constraint Satisfaction Problems in Fixed-Point Logic

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020
2020-07-08 | Conference paper | Author
SOURCE-WORK-ID:

8e0ad89b-6478-4643-8e9d-6f12be8ca943

EID:

2-s2.0-85085932935

Part of ISBN: 978-1-4503-7104-9
Contributors: Manuel Bodirsky; Wied Pakusa; Jakub Rydval
Source: check_circle
FIS TU Dresden

Two-element structures modulo primitive positive constructability

Algebra universalis
2020-05-01 | Journal article | Author
SOURCE-WORK-ID:

709a07eb-41f8-4317-a5d6-8f974a633d82

EID:

2-s2.0-85082961303

Contributors: Manuel Bodirsky; Albert Vucaj
Source: check_circle
FIS TU Dresden

Constraint satisfaction problems for reducts of homogeneous graphs

SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics
2019 | Journal article | Author
SOURCE-WORK-ID:

4873ce79-b127-491f-b51b-c589612d538a

EID:

2-s2.0-85072740831

Contributors: Manuel Bodirsky; Barnaby Martin; Michael Pinsker; András Pongracz
Source: check_circle
FIS TU Dresden

Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems).

2019 | Preprint | Author
SOURCE-WORK-ID:

e987e506-7d10-4612-bbc2-c20ef48f23c2

Contributors: Manuel Bodirsky; Antoine Mottet; Miroslav Olsák; Jakub Oprsal; Michael Pinsker; Ross Willard
Source: check_circle
FIS TU Dresden

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
2019-06 | Conference paper | Author
SOURCE-WORK-ID:

6feb0ae3-5947-4435-a252-13ced54af0c1

EID:

2-s2.0-85070783940

Part of ISBN: 9781728136080
Contributors: Manuel Bodirsky; Antoine Mottet; Miroslav Olsak; Jakub Oprsal; Michael Pinsker; Ross Willard
Source: check_circle
FIS TU Dresden

A polynomial-time algorithm for median-closed semilinear constraints

2018 | Preprint | Author
SOURCE-WORK-ID:

da59898c-8085-4c46-aeda-25220adff3ba

Contributors: Manuel Bodirsky; Marcello Mamino
Source: check_circle
FIS TU Dresden

Classification transfer for qualitative reasoning problems

2018 | Preprint | Author
SOURCE-WORK-ID:

d81cfbe1-70a4-4db6-abd6-82a6bb4ea501

Contributors: Barnaby Martin; Peter Jonsson; Manuel Bodirsky; Antoine Mottet
Source: check_circle
FIS TU Dresden

Classification Transfer for Qualitative Reasoning Problems.

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18)
2018 | Conference paper | Author
SOURCE-WORK-ID:

8611c51b-4571-409c-9306-7dcec94a9392

EID:

2-s2.0-85055721352

Part of ISBN: 978-0-9992411-2-7
Contributors: Manuel Bodirsky; Peter Jonsson; Barnaby Martin; Antoine Mottet
Source: check_circle
FIS TU Dresden

Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
2018 | Conference paper | Author
SOURCE-WORK-ID:

ad9ecd4c-82d1-423b-b5e7-e5e0567252e1

EID:

2-s2.0-85049943514

Part of ISBN: 9783319942049
Contributors: Manuel Bodirsky; Johannes Greiner
Source: check_circle
FIS TU Dresden

Finite relation algebras with normal representations

Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings
2018 | Conference paper | Author
SOURCE-WORK-ID:

9d300246-0111-4e46-8741-5018b0155be1

EID:

2-s2.0-85055853968

Part of ISBN: 9783030021481
Contributors: Manuel Bodirsky
Source: check_circle
FIS TU Dresden
Items per page:
Page 1 of 3

Peer review (1 review for 1 publication/grant)

Review activity for Annals of mathematics and artificial intelligence. (1)