The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom

Manuel Bodirsky, Simon Knäuer. The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom. J. Artif. Intell. Res. (JAIR), 75:1701-1744, 2022. [doi]

Abstract

Abstract is missing.