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]

Authors

Manuel Bodirsky

This author has not been identified. Look up 'Manuel Bodirsky' in Google

Simon Knäuer

This author has not been identified. Look up 'Simon Knäuer' in Google