The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms

Manuel Bodirsky, Moritz Jahn, Simon Knäuer +2

Andréka and Maddux classified the relation algebras with at most 3 atoms, and in particular they showed that all of them are representable. Hirsch and Cristiani showed that the ne…