activity
20202026
most citedSparse graphs with bounded induced cycle packing number have logarithmic treewidth

8 citations · 11 across the 16 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022

First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs

Colin Geniet, Stéphan Thomassé

We characterise the classes of tournaments with tractable first-order model checking. For every hereditary class of tournaments , first-order model checking is either f…