中文
Sign in
AI tools
热门问题
时间线
聊天
Loading AI tools
全部
文章
字典
引用
地图
Remove ads
Satisfiability modulo theories
来自维基百科，自由的百科全书
Found in articles
約束 (數學)
algebra） 卡羅需－庫恩－塔克條件 拉格朗日乘數 水平集 线性规划 非线性规划 限制 (數學) 可滿足性模理論（英语：
Satisfiability
modulo
theories
） Nonlinear programming FAQ Mathematical Programming Glossary
約束滿足問題
search）的方法，來在合理的時間內解決問題。布林可滿足性問題（SAT），可滿足性的理論（英语：
Satisfiability
modulo
theories
）（SMT）和回答集程式設計（ASP）可以算是某種程度上的約束滿足問題。 以下舉例為幾個簡單的約束滿足問題: 八皇后問題