Knäuer, Simon

2 publications

JAIR 2022 The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom Manuel Bodirsky, Simon Knäuer

AAAI 2021 Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom Manuel Bodirsky, Simon Knäuer