约束满足问题

（计算机科学技术）

约束满足问题（constraint satisfaction problem，CSP），计算机科学技术名词，由一组指定论域的变量和它们之间的约束组成，问题的解是满足所有约束的全部变量的一组赋值。