Circuit Treewidth, Sentential Decision, and Query Compilation

Bova, Simone; Szeider, Stefan

doi:10.1145/3034786.3034787

by Simone Bova, Stefan Szeider

Reference:

Circuit Treewidth, Sentential Decision, and Query CompilationSimone Bova, Stefan SzeiderProceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 (Emanuel Sallinger, Jan Van den Bussche, Floris Geerts, eds.), pages 233–246, 2017, Assoc. Comput. Mach., New York.

Bibtex Entry:

@string{acm="Assoc. Comput. Mach., New York"}
@inproceedings{BovaSzeider17,
  author    = {Simone Bova and Stefan Szeider},
  title     = {Circuit Treewidth, Sentential Decision, and Query  Compilation},
  year      = {2017},
  pages     = {233--246},
  editor    = {Emanuel Sallinger and Jan Van den Bussche and Floris
                  Geerts},
  booktitle     = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI}
                  Symposium on Principles of Database Systems, {PODS}
                  2017, Chicago, IL, USA, May 14-19, 2017},
  publisher = {ACM},
 url       = {https://arxiv.org/abs/1701.04626},
 doi       = {10.1145/3034786.3034787},
 }