Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom.

Manuel Bodirsky, Simon Knuer

Browse the full AAAI paper archive.