Circuit Treewidth, Sentential Decision, and Query Compilation.

Simone Bova, Stefan Szeider

Browse the full PODS paper archive.