Operations research
約束補償問題（CSPs）是種數學的問題，其定義為一組物件(object)，而這些物件需要滿足一些限制或條件。 CSPs將其問題中的單元(entities)表示成在變數上有限條件的一組同質(homogeneous)的集合, 這類問題透過"約束補償方法"來解決。CSPs是人工智慧和運籌學 的熱門主題,因為它們公式中的規律，提供了共同基礎來分析、解決很多看似不相關的問題。 , 需要同時透過啟發式搜索 和 的方法，來在合理的時間內解決問題。 布林可滿足性問題 (SAT), (SMT)和回答集程式設計 (ASP) 可以算是某種程度上的約束補償問題。