Faster Existential FO Model Checking on Posets.

Jakub Gajarsk, Petr Hlinen, Jan Obdrzlek, Sebastian Ordyniak

Browse the full ISAAC paper archive.