约束补偿问题（CSPs）是种数学的问题，其定义为一组物件(object)，而这些物件需要满足一些限制或条件。 CSPs将其问题中的单元(entities)表示成在变数上有限条件的一组同质(homogeneous)的集合, 这类问题透过"约束补偿方法"来解决。CSPs是人工智慧和运筹学 的热门主题,因为它们公式中的规律，提供了共同基础来分析、解决很多看似不相关的问题。 , 需要同时透过启发式搜索 和 的方法，来在合理的时间内解决问题。 布林可满足性问题 (SAT), (SMT)和回答集程式设计 (ASP) 可