37 citations · 52 across the 9 of their papers we have counts for
1 paper · 2 filters
Barnaby Martin, Juraj Stacho
We study constraint satisfaction problems (CSPs) in the presence of counting quantifiers ∃≥j, asserting the existence of j distinct witnesses for the variable in q…