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
January 2015
PDF Cite DOI
Type
Conference Paper