20 Einträge gefunden

1. Smooth approximations and CSPs over finitely bounded homogeneous structures

   1. Mottet, Antoine
   2. Pinsker, Michael

   2022 - TUHH Open Research
2. CORES over RAMSEY STRUCTURES

   1. Mottet, Antoine
   2. Pinsker, Michael

   2021 - TUHH Open Research
3. The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata

   1. Mottet, Antoine
   2. Quaas, Karin

   2021 - TUHH Open Research
4. Constraint Satisfaction Problems over Finite Structures

   1. Barto, Libor
   2. Demeo, William
   3. Mottet, Antoine

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

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

   2021 - TUHH Open Research
6. ω-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
7. New techniques for universality in unambiguous register automata

   1. Czerwiński, Wojciech
   2. Mottet, Antoine
   3. Quaas, Karin

   2021 - TUHH Open Research
8. Smooth approximations and relational width collapses

   1. Mottet, Antoine
   2. Nagy, Tomáš
   3. Pinsker, Michael
   4. Wrona, Michał

   2021 - TUHH Open Research
9. Hrushovski's encoding and ω-categorical CSP monsters

   1. Gillibert, Pierre
   2. Jonušas, Julius
   3. Kompatscher, Michael
   4. Mottet, Antoine
   5. Pinsker, Michael

   2020 - TUHH Open Research
10. Extensions of unificationmodulo ACUI

    1. Baader, Franz
    2. Marantidis, Pavlos
    3. Mottet, Antoine
    4. Okhotin, Alexander

    2020 - TUHH Open Research
11. 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
12. The containment problem for unambiguous register automata

    1. Mottet, Antoine
    2. Quaas, Karin

    2019 - TUHH Open Research
13. 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
14. Classification transfer for qualitative reasoning problems

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

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

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

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

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

    2018 - TUHH Open Research
17. A dichotomy for first-order reducts of unary structures

    1. Bodirsky, Manuel
    2. Mottet, Antoine

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

    1. Bodirsky, Manuel
    2. Mottet, Antoine

    2016 - TUHH Open Research
19. Distance constraint satisfaction problems

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

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

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

    2015 - TUHH Open Research