31 citations · 256 across the 67 of their papers we have counts for
1 paper · 2 filters
Zdenek Dvorak, Daniel Kral, Robin Thomas
We present a linear-time algorithm for deciding first-order (FO) properties in classes of graphs with bounded expansion, a notion recently introduced by Nesetril and Ossona de Mend…