Compactness Principles for CSPs and the Axiom of Chocie

Anthony Li, Ishin Shan, Matthew Snodgrass +2

We can associate a compactness principle ${\mathcal{K}}_{\mathcal{D}}$ to the Constraint Satisfaction Problem (CSP) with constraint library $\mathcal{D}$. These principles were studie…