An SMT Approach to Fractional Hypertree Width (bibtex)
by , , ,
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, 2018, Springer Verlag.Note: to appear
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,
  publisher = Springer,
  note      = {to appear},
}
Powered by bibtexbrowser