Constraint Satisfaction with Counting Quantifiers 2

Barnaby Martin, Juraj Stacho

We study constraint satisfaction problems (CSPs) in the presence of counting quantifiers ${\exists }^{\ge j}$, asserting the existence of $j$ distinct witnesses for the variable in q…