Satisfiability modulo theories

algebra） 卡羅需－庫恩－塔克條件 拉格朗日乘數 水平集 线性规划 非线性规划 限制 (數學) 可滿足性模理論（英语：Satisfiability modulo theories） Nonlinear programming FAQ Mathematical Programming Glossary

search）的方法，來在合理的時間內解決問題。布林可滿足性問題（SAT），可滿足性的理論（英语：Satisfiability modulo theories）（SMT）和回答集程式設計（ASP）可以算是某種程度上的約束滿足問題。 以下舉例為幾個簡單的約束滿足問題: 八皇后問題