可以算是某种程度上的约束补偿问题。以下举例为几个简单的约束满足问题:这些是提供的ASP,Boolean SAT和SMT教学课程的人通常会教的。在一般情况下,约束问题会是更困难，而且可能难以用这些简单系统的例子来表达。现实生活中的例子包含和资源配置。
正式的定义.正式来说，约束补偿问题定义为一个三元组formula_1,其中每个变数formula_5可以在非空的定义域formula_6中取出。每个限制条件(Constraint)formula_7依序对应一对form