FO Model Checking on Posets of Bounded Width.

Jakub Gajarsk, Petr Hlinen, Daniel Lokshtanov, Jan Obdrzlek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh

Browse the full FOCS paper archive.