Wölfl, Stefan

5 publications

IJCAI 2013 Transition Constraints: A Study on the Computational Complexity of Qualitative Change Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel

IJCAI 2011 On Qualitative Route Descriptions: Representation and Computational Complexity Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz

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

IJCAI 2009 On Combinations of Binary Qualitative Constraint Calculi Stefan Wölfl, Matthias Westphal

IJCAI 2009 Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-Based Reasoning Matthias Westphal, Stefan Wölfl