Barnaby Martin, Florent R. Madelaine, Juraj Stacho. Constraint Satisfaction with Counting Quantifiers. SIAM J. Discrete Math., 29(2):1065-1113, 2015. [doi]
@article{MartinMS15-0,
title = {Constraint Satisfaction with Counting Quantifiers},
author = {Barnaby Martin and Florent R. Madelaine and Juraj Stacho},
year = {2015},
doi = {10.1137/140981332},
url = {http://dx.doi.org/10.1137/140981332},
researchr = {https://researchr.org/publication/MartinMS15-0},
cites = {0},
citedby = {0},
journal = {SIAM J. Discrete Math.},
volume = {29},
number = {2},
pages = {1065-1113},
}