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]

@article{BodirskyK22,
  title = {The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom},
  author = {Manuel Bodirsky and Simon Knäuer},
  year = {2022},
  doi = {10.1613/jair.1.14195},
  url = {https://doi.org/10.1613/jair.1.14195},
  researchr = {https://researchr.org/publication/BodirskyK22},
  cites = {0},
  citedby = {0},
  journal = {J. Artif. Intell. Res. (JAIR)},
  volume = {75},
  pages = {1701-1744},
}