activity
20202026
most citedSemantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

2 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

A Dichotomy Theorem for Homomorphism Problems on Automatic Structures

Antoine Cuvelier, Rémi Morvan

The field of constraint satisfaction problems (CSPs) studies homomorphism problems between relational structures where the target structure is fixed. Classifying the complexity of…