9 citations · 17 across the 12 of their papers we have counts for
1 paper · 1 filter
Petr Hliněný, Filip Pokrývka, Bodhayan Roy
Over the past two decades the main focus of research into first-order (FO) model checking algorithms has been on sparse relational structures - culminating in the FPT algorithm by…