Faster Existential FO Model Checking on Posets

Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Sebastian Ordyniak
January 2014
Cite
Type
Conference Paper