1 problem

The monadic dependence conjecture. For every hereditary class $d4a2$ of structures, FO model checking is FPT on $d4a2$ if and only if $d4a2$ is monadically dependent.