Backdoors to Normality for Disjunctive Logic Programs

Abstract

Full Citation:

Johannes Klaus Fichte, Stefan Szeider. Backdoors to Normality for Disjunctive Logic Programs. ACM Transactions on Computational Logic, volume 17, number 1, 2015.

Stefan Szeider

Head of Research Unit

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