( en | de | ru )

 

Disambiguation of "Bodirsky, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems).

, , , , , and . LICS, page 1-12. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manuel Bodirsky

Benjamin Leon Bodirsky

Manuel

Manuel Cortellini

Manuel Porsche

 

Other publications of authors with the same name

Hardness of Network Satisfaction for Relation Algebras with Normal Representations., and . CoRR, (2019)On the number of series parallel and outerplanar graphs, , , and . 2005 European Conference on Combinatorics, Graph Theory and Applications (EuroComb '05), volume AE of DMTCS Proceedings, page 383---388. Discrete Mathematics and Theoretical Computer Science, (2005)Model-checking positive equality free logic on a fixed structure (direttissima)., , , , and . CoRR, (2024)Complexity Classification Transfer for CSPs via Algebraic Products., , , , and . SIAM J. Comput., 53 (5): 1293-1353 (2024)Tractable Combinations of Temporal CSPs., , and . CoRR, (2020)Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation., , and . CoRR, (2019)Datalog-Expressibility for Monadic and Guarded Second-Order Logic., , and . ICALP, volume 198 of LIPIcs, page 120:1-120:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Constraint Satisfaction Problems for Reducts of Homogeneous Graphs., , , and . SIAM J. Comput., 48 (4): 1224-1264 (2019)A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP., , and . SIAM J. Comput., 50 (4): 1359-1409 (2021)Temporal Constraint Satisfaction Problems in Fixed-Point Logic., , and . LICS, page 237-251. ACM, (2020)