約束滿足問題（Constraint satisfaction problem，CSPs）是種數學的問題，其定義為一組物件（object），而這些物件需要滿足一些限制或條件。CSPs將其問題中的單元（entities）表示成在變數上有限條件的一組同質（homogeneous）的集合，這類問題透過「約

constraint satisfaction problem, CSP）。圖的特例可作為第一步，幫助理解更複雜的CSP。許多尋找圖同構的算法，包括回溯、約束傳播（英语：constraint propagation）、局部搜索（英语：Local search (constraint

Flavors（由Symbolics.com开发）。 KR（知识表达），它是用来辅助书写Common Lisp的GUI库Garnet的基于约束（英语：Constraint satisfaction）的对象系统。 知识工程环境（英语：Knowledge Engineering Environment）（KEE）使用叫做UN