The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms. - Manuel Bodirsky; Moritz Jahn; Matej Konecný; Simon Knäuer; Paul Winkler (CoRR, 2025)