TY  - RPRT
TI  - The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms
AU  - Manuel Bodirsky
AU  - Moritz Jahn
AU  - Simon Knäuer
AU  - Matěj Konečný
AU  - Paul Winkler
PY  - 2026
UR  - https://arxiv.org/abs/2507.09324
ID  - 2507.09324
ER  -