An SMT Approach to Fractional Hypertree Width

Fichte, Johannes K.; Hecher, Markus; Lodha, Neha; Szeider, Stefan

doi:10.1007/978-3-319-98334-9_8

by Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider

Reference:

An SMT Approach to Fractional Hypertree WidthJohannes K. Fichte, Markus Hecher, Neha Lodha, Stefan SzeiderProceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker, ed.), volume 11008 of Lecture Notes in Computer Science, pages 109–127, 2018, Springer Verlag.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@InProceedings{FichteHecherLodhaSzeider18,
  author       = {Johannes K. Fichte and Markus Hecher and Neha Lodha
                  and Stefan Szeider},
  title        = {An {SMT} Approach to Fractional Hypertree Width},
  booktitle = {Proceedings of CP 2018, the 24rd International
                  Conference on Principles and Practice of Constraint
                  Programming},
  year      = {2018},
  series    = LNCS,
  editor    = {John N. Hooker},
  pages     = {109--127},
  doi       = {10.1007/978-3-319-98334-9_8},
  publisher = Springer,
  volume    = {11008},
  pdf       = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-006.pdf},
  keywords   ={fraSMT},
}