请输入您要查询的英文单词:

 

单词 satisfiability
释义
satisfiability
/ s?t?sfa???b?l?ti /
/ s?t?sfa???b?l?ti /
  • 简明释义
  • n.[数] 可满足性
  • 网络释义
  • 1

    [数]?可满足性

    ... robustness 鲁棒性 Satisfiability 可满足性 Searching 查找 ...

短语
  • 双语例句
  • 1
    RTL hybrid satisfiability solving is the key technique of RTL verification.
    RTL混合可满足性求解是RTL验证中的关键技术。
  • 2
    The traditional idea used in TP is to try to deduce the empty clause to check satisfiability.
    定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。
  • 3
    The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
    语义网的关键推理问题可以化为公式的可满足性判定问题。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/10 4:54:33