有限可满足性
基于1个网页-相关网页
finite satisfiability
有限的可满足性
以上为机器翻译结果，长、整句建议使用 人工翻译 。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
youdao
应用推荐
模块上移
模块下移
不移动