Faster Existential FO Model Checking on Posets

by Oddelek za matematiko in računalništvo | Apr 13, 2015 | Seminar iz diskretne matematike