1) SAT-solver
SAT解答器
2) SAT solvers
SAT求解器
1.
In this paper,we propose an approach for judging whether a component set is a conflict set using SAT solvers with some satisfiability algorithms.
本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性。
4) Equation Solver
方程式解答器
5) Respondere
答复，解答
6) explanation
[英][,eksplə'neɪʃn] [美]['ɛksplə'neʃən]
解答
1.
The purpose of this article is to emphasize the explanation of reader's questions in details from reception to technique and etc, and lead the PVC-C pipe to further development.
为使该管材健康发展,对读者提出的有关配方、工艺等方面的问题作了详细解答。
2.
In summary there are three kinds of explanations for the problem of evil:the explanations insisting,playing trick with concept of and deserting Christian traditonal notion of God.
对恶的问题的解答方案概括地说有坚持传统上帝观的解答、偷换概念的解答、放弃传统上帝观的解答三种。
补充资料：解答
解释回答（问题）：《几何习题～》ㄧ他无法～我的提问 。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条