A Constraint Satisfaction Problem Algorithm for Certain 2-Semilattice-over-Edge Algebras

Ian Payne

To any fixed, finite relational structure, $\mathbb{D}$, there is an associated decision problem, CSP$(\mathbb{D})$, which is a restricted version of the constraint satisfaction pr…