Constraint Satisfaction with Counting Quantifiers

Barnaby Martin, Florent R. Madelaine, Juraj Stacho. Constraint Satisfaction with Counting Quantifiers. SIAM J. Discrete Math., 29(2):1065-1113, 2015. [doi]

Authors

Barnaby Martin

This author has not been identified. Look up 'Barnaby Martin' in Google

Florent R. Madelaine

This author has not been identified. Look up 'Florent R. Madelaine' in Google

Juraj Stacho

This author has not been identified. Look up 'Juraj Stacho' in Google