Backdoors to Tractable Answer Set Programming

Abstract

Full Citation:

Johannes Klaus Fichte, Stefan Szeider. Backdoors to Tractable Answer Set Programming. Artificial Intelligence, volume 220, pages 64-103, 3 2015.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.