Abstract
Simone Bova, Stefan Szeider. Circuit Treewidth, Sentential Decision, and Query Compilation. Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 (Emanuel Sallinger and Jan Van den Bussche and Floris Geerts), pages 233-246, 2017, ACM.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.