Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Daniel Lokshtanov and M. S. Ramanujan
Recent Publications
A New Perspective on FO Model Checking of Dense Graph Classes
Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Daniel Lokshtanov and M. S. Ramanujan
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, 2016.
PDF
Cite
Cite
×