Jakub Gajarský and Petr Hlinený and Daniel Lokshtanov and Jan Obdrzálek and Sebastian Ordyniak and M. S. Ramanujan and Saket Saurabh

Recent Publications

FO Model Checking on Posets of Bounded Width
Jakub Gajarský and Petr Hlinený and Daniel Lokshtanov and Jan Obdrzálek and Sebastian Ordyniak and M. S. Ramanujan and Saket Saurabh
IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 963-974, 2015.
PDF Cite DOI