您要查找的是不是：
- Simulated Implication Learning 模拟蕴含学习
- The algorithm uses several methods to reduce the space of the SAT reasoning first, those methods are AND/INVERTER graph transformation, BDD propagation and implication learning, CNF-based SAT solver zChaff is used to solve the verification task. 算法是在联接电路(Miter circuit)中进行推理来简化验证问题,推理中使用了"与/非"图结构简化、BDD扩展、隐含学习多种方法,最后 使用有效SAT解算器zChaff解决验证任务。
- When did you begin learning English? 你何时开始学习英语的？
- Daily practice is the trick in learning a foreign language. 每天练习是学会一门外语的诀窍。
- Nobody should boast of his learning. 谁也不应当夸耀自己的学识。
- She has not one dram of learning. 她一点学问也没有。
- She sign the letter in good faith, not realize its implication. 她真心实意地在信上签了字，没意识到其中另有含义。
- Yoga is a good discipline for learning to relax. 要学会身心松弛，瑜珈功是一种有效的锻炼方法。
- He has much learning, but he hides it in a napkin. 他学识渊博，可是并没有把它发挥出来。
- Since when has she been learning bookkeeping? 她从什么时候起学薄记的？
- This student is slow in learning English. 这个学生学英语很笨。
- A gate that performs the Boolean operation of implication. 执行“蕴含”布尔操作的一种(逻辑)门电路。
- He earned a high reputation for his learning. 他在学识方面享有很高的声誉。
- She said very little directly, but a great deal by implication. 她直接的话说了很少，但言外之意却很多。
- He is learning to ride a bicycle. 他正在学习骑自行车。
- The driver's implication in the crime was never proved. 司机与那起案件有牵连一事从未得到证实。
- He set up for a man of learning. 他自认为是个有学问的人。
- Failure to say `No' may, by implication, be taken to mean `Yes'. 没表示否定，其含义可能理解为是肯定的。
- In such a simulated environment, one would have an immersed sense. 人在这个仿真的环境中，有一种“身临其境”的感觉。
- Don't disturb her. She is learning her lessons. 不要打扰她，她在做功课。
