The Network Satisfaction Problem for Relation Algebras with at Most 4 Atoms.

Manuel Bodirsky, Moritz Jahn, Simon Knuer, Matej Konecn, Paul Winkler

Browse the full ICALP paper archive.