Parameterizing the quantification of CMSO: model checking on minor-closed graph classes.

Ignasi Sau, Giannos Stamoulis, Dimitrios M. Thilikos

Browse the full SODA paper archive.