11 Einträge gefunden

1. ω-categorical structures avoiding height 1 identities

   1. Bodirsky, Manuel
   2. Mottet, Antoine
   3. Olšák, Miroslav
   4. Opršal, Jakub
   5. Pinsker, Michael
   6. Willard, Ross

   2021 - TUHH Open Research
2. A proof of the algebraic tractability conjecture for monotone monadic SNP

   1. Bodirsky, Manuel
   2. Madelaine, Florent
   3. Mottet, Antoine

   2021 - TUHH Open Research
3. Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)

   1. Bodirsky, Manuel
   2. Mottet, Antoine
   3. Olšák, Miroslav
   4. Opršal, Jakub
   5. Pinsker, Michael
   6. Willard, Ross

   2019 - TUHH Open Research
4. A dichotomy for first-order reducts of unary structures

   1. Bodirsky, Manuel
   2. Mottet, Antoine

   2018 - TUHH Open Research
5. Discrete temporal constraint satisfaction problems

   1. Bodirsky, Manuel
   2. Martin, Barnaby
   3. Mottet, Antoine

   2018 - TUHH Open Research
6. The complexity of disjunctive linear diophantine constraints

   1. Bodirsky, Manuel
   2. Martin, Barnaby
   3. Mamino, Marcello
   4. Mottet, Antoine

   2018 - TUHH Open Research
7. A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

   1. Bodirsky, Manuel
   2. Madelaine, Florent
   3. Mottet, Antoine

   2018 - TUHH Open Research
8. Classification transfer for qualitative reasoning problems

   1. Bodirsky, Manuel
   2. Jonsson, Peter
   3. Martin, Barnaby
   4. Mottet, Antoine

   2018 - TUHH Open Research
9. Distance constraint satisfaction problems

   1. Bodirsky, Manuel
   2. Dalmau, Victor
   3. Martin, Barnaby
   4. Mottet, Antoine
   5. Pinsker, Michael

   2016 - TUHH Open Research
10. Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction

    1. Bodirsky, Manuel
    2. Mottet, Antoine

    2016 - TUHH Open Research
11. Constraint satisfaction problems over the integers with successor

    1. Bodirsky, Manuel
    2. Martin, Barnaby
    3. Mottet, Antoine

    2015 - TUHH Open Research