Bodirsky, Manuel

7 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

IJCAI 2018 Classification Transfer for Qualitative Reasoning Problems Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet

JAIR 2017 A Model-Theoretic View on Qualitative Constraint Reasoning Manuel Bodirsky, Peter Jonsson

JAIR 2012 Tractable Set Constraints Manuel Bodirsky, Martin Hils

IJCAI 2011 RCC8 Is Polynomial on Networks of Bounded Treewidth Manuel Bodirsky, Stefan Wölfl

IJCAI 2011 Tractable Set Constraints Manuel Bodirsky, Martin Hils, Alex Krimkevitch