SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks

Petar Marković, Miklós Maróti, Ralph McKenzie +1

We define a class of algebras, the semilattices of Mal'cev blocks (for short, SMB algebras). In a nutshell, these algebras are semilattices in which each element gets blown up into…