activity
20092022
most citedA note on stability and NIP in one variable

6 citations · 9 across the 7 of their papers we have counts for

collaborators
Showing cs.DSShow all

1 paper · 1 filter

cs.DS2022

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

Édouard Bonnet, Jan Dreier, Jakub Gajarský +4

We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpret…