算法。
CSPs的理论方面.
判定问题.CSPs也研究计算复杂性问题和有限模型理论. 一个重要的问题是，是否为每一组的关系、套都可视为CSPs选自只使用关系设置不是在p 或 NP-完全问题. 如果这样一个二分法真实可靠， 那么CSPs提供已知的最大的一个NP 子集,避免NP-intermediate 问题，其存在是证明了Ladner's 理论 在这种假定下 P ≠ NP. Schaefer's 二分法理论 处理所用变量相关时的情况布尔数学运算符, 也就是， 对