A New Perspective on FO Model Checking of Dense Graph Classes

Gajarský, Jakub; Hlinený, Petr; Obdrzálek, Jan; Lokshtanov, Daniel; Ramanujan, M. S.

by Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Daniel Lokshtanov, M. S. Ramanujan

Reference:

A New Perspective on FO Model Checking of Dense Graph ClassesJakub Gajarský, Petr Hlinený, Jan Obdrzálek, Daniel Lokshtanov, M. S. RamanujanProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pages 176–184, 2016.

Bibtex Entry:

@inproceedings{GajarskyHlinenyLokshtanovObdrzalekRamanujan16,
  author    = {Jakub Gajarsk{\'{y}} and
               Petr Hlinen{\'{y}} and
               Jan Obdrz{\'{a}}lek and
               Daniel Lokshtanov and
               M. S. Ramanujan},
  title     = {A New Perspective on {FO} Model Checking of Dense Graph Classes},
  booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages     = {176--184},
  year      = {2016},
  url={https://publik.tuwien.ac.at/files/publik_255927.pdf},
  keywords={xtract}
}