52 citations · 146 across the 26 of their papers we have counts for
1 paper · 2 filters
Andrei A. Bulatov, Dániel Marx
In the constraint satisfaction problem (CSP) corresponding to a constraint language (i.e., a set of relations) Γ, the goal is to find an assignment of values to variables so that…