No. |
Title |
Author |
Year |
---|

1 |
Network Satisfaction Problems Solved by k-Consistency |
Bodirsky, Manuel et al. |
2023 |

2 |
Datalog-Expressibility for Monadic and Guarded Second-Order Logic |
Bodirsky, Manuel et al. |
2021 |

3 |
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains |
Bodirsky, Manuel et al. |
2018 |

4 |
The Complexity of Disjunctive Linear Diophantine Constraints |
Bodirsky, Manuel et al. |
2018 |

5 |
Constraint Satisfaction Problems over Numeric Domains |
Bodirsky, Manuel et al. |
2017 |

6 |
Constraint Satisfaction Problems for Reducts of Homogeneous Graphs |
Bodirsky, Manuel et al. |
2016 |

7 |
The Complexity of Phylogeny Constraint Satisfaction |
Bodirsky, Manuel et al. |
2016 |

8 |
The Complexity of Constraint Satisfaction Problems (Invited Talk) |
Bodirsky, Manuel |
2015 |

9 |
Equivalence Constraint Satisfaction Problems |
Bodirsky, Manuel et al. |
2012 |