TY  - RPRT
TI  - Network Satisfaction over Four-Atom Relation Algebras: Complexity and Representations
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  -