- 双语例句 更多例句
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.
这是计算机科学和人工智能中的重要问题之一.
网络文摘精选
- 今日热词
- 热门搜索
- basic adj.基础的，根本的;最初级的，起码的;
- good morning int.（上午见面时用语，非正式场合常说 Morning）早上好，上午好，你（们）好，你早;（有时用作正式告别语）再见
- airplane n.<美>飞机;
- who you 你是谁;你谁;
- dignity n.庄严;高贵;尊严;自尊;
- unsuccessful adj.不成功的，失败的;碌碌无为;
- soap n.肥皂;肥皂剧;[化]皂，脂肪酸盐;vt.抹肥皂;用肥皂擦洗;<俚>拍…的马屁，吹捧（某人）;
- cup n.杯子;一杯（的量）;（胸罩的）罩杯;优胜杯;vt.使（手）窝成杯状;使（双手）成圆状托起;为…拔火罐;
- 受益无穷 have unlimited benefits
- put vt. 放;表达;给予（重视、信任、价值等）;使处于（某种状态）;vt.& vi. 使感觉到;使受到…的影响;
- cursor n.(计算机荧光屏上的)光标，游标
- novel n.小说;adj.新颖的;
