您要查找的是不是：
- The research of this paper is based on the Boolean Satisfiability (SAT) Problem of combinational circuit. 本文研究工作是针对可满足问题（SAT）在组合电路验证和测试中的应用展开的。
- In recent years, the Boolean Satisfiability (SAT) Problem, which is a foundational problem of verification, has made a great advance. 本文分析了现有的电路可满足性验证工具的优缺点，针对验证中学习效率的瓶颈提出了改进的方法，能够更加合理地利用电路现有的信息。
- Multiple Design Error Diagnosis Using Boolean Satisfiability 基于布尔可满足性的电路设计错误诊断算法
- Using Boolean Satisfiability for Combinational Equivalence Checking 使用布尔可满足性的组合电路等价性验证算法
- Boolean satisfiability (SAT) Boolean可满足性问题（SAT）
- A New Strategy in Systematic Algorithm for Non- Boolean Satisfiability Problems 非布尔问题系统求解算法的一种新思路
- He sat frowning over a crossword puzzle. 他坐着皱着眉头在思考纵横字谜。
- She sat down on a tuft of grass. 她坐在一小块草地上。
- The old lady fondled her cat as it sat beside her. 老妇人抚摸着蹲在身边的小猫。
- Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking 结合二叉判决图和布尔可满足性的等价性验证算法
- The old man sat on the park bench look familiar. 坐在公园长椅上的那个老人看上去很面熟。
- He was not a man to sit down with affront. 他并不是一个可以忍受当众侮辱的人。
- He sat down amid deafening applause. 他在震耳欲聋的掌声中就坐。
- He sat under the linden to take a break. 他坐在菩提树下休息。
- Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme. 摘要在基于逻辑电路的布尔推理过程中，经常用到二叉判决图(BDD)与布尔可满足性(SAT)相结合的算法。
- He sat in a draught and catch a cold. 他坐在风口上，着凉了。
- He shut down upon his anger and sat down. 他压住心头的怒火坐了下来。
- She sat down and took her ease by the fire. 她坐在火旁休息一下。
- She sat to many famous painters when she was young. 他年轻时给许多著名画家当过模特。
- That's how matters stood as we sat down to table. 这就是我们在桌边坐下来时的情况。
