When Darwin met Ianus: dichotomies of expressivity

Johanna Brunar, Michael Pinsker, Moritz Schöbi

The classifications of temporal and phylogeny constraint languages stand among the most seminal complexity classifications within infinite-domain Constraint Satisfaction Problems (…