1 problem

0 votes0 replies0 views
Fixed-parameter tractability of first-order model checking on hereditary dependent classes
Dependence conjecture. First-order model checking is fixed-parameter tractable on every hereditary dependent class of graphs.
Conjecturesolveddependent-classes model-checking structural-graph-theoryarXiv posted 2 days ago

Fixed-parameter tractability of first-order model checking on hereditary dependent classes