- 双语例句 更多例句
1、
本文研究工作是针对可满足问题 ( SAT ) 在组合电路验证和测试中的应用展开的.
互联网摘选
2、
Two heuristic strategies for solving satisfiability ( SAT ) problem were presented.
提出了两个用于求解可满足性 ( SAT ) 问题的启发式策略.
互联网摘选
3、
The satisfiability problem is a key problem in computer science and artificial intelligence.
这是计算机科学和人工智能中的重要问题之一.
网络文摘精选
- 今日热词
- 热门搜索
- sympathetic adj.同情的;赞同的;招人喜爱的;
- condition n.状况;环境，处境;条件，条款;健康状况;疾病;v.训练;使习惯于;使适应;影响;保养;
- port n.港口;（事情的）意义;（计算机与其他设备的）接口;（船、飞机等的）左舷;vt.举枪;持枪;左转舵;
- handkerchief n.手帕;方巾，围巾;
- video decoder 视频解码器;视频解码;视频解码芯片;视讯解码器
- alive adj.活着的;活泼的;有生气的;敏感的;
- essential adj.基本的;本质的;必不可少的;根本的;极其重要的;完全必要的n.必不可少的东西;必需品;要点;要素;实质
- sharpener n.卷笔刀;磨床;磨器;磨具;
- deepl 迪普尔
- deepen vt.& vi.变深，加深;低沉;vt.加浓;
- crush syndrome 挤压综合征;
- translation n.翻译;译文;转变;
