n.可满足性;
例句:
1、
Two heuristic strategies for solving satisfiability ( SAT ) problem were presented.
提出了两个用于求解可满足性 ( SAT ) 问题的启发式策略.
互联网摘选
2、
本文研究工作是针对可满足问题 ( SAT ) 在组合电路验证和测试中的应用展开的.
互联网摘选
3、
The satisfiability problem is a key problem in computer science and artificial intelligence.
这是计算机科学和人工智能中的重要问题之一.
网络文摘精选https://dict.jiandongshicai.cn/
提交成功
小编会尽快处理
回到顶部
点击反馈
