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

Manuel Goller

 

Other publications of authors with the same name

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation., , and . CoRR, (2019)Temporal Constraint Satisfaction Problems in Fixed-Point Logic., , and . LICS, page 237-251. ACM, (2020)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)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)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)Tractable Combinations of Temporal CSPs., , and . CoRR, (2020)Hardness of Network Satisfaction for Relation Algebras with Normal Representations., and . CoRR, (2019)Complexity Classification Transfer for CSPs via Algebraic Products., , , , and . SIAM J. Comput., 53 (5): 1293-1353 (2024)Model-checking positive equality free logic on a fixed structure (direttissima)., , , , and . CoRR, (2024)