| 释义 |
satisfiability 英音 [ sætɪsfaɪəˈbɪlɪti ] 美音 [ sætɪsfaɪəˈbɪləti ] 释义 n. [数] 可满足性 例句 1·RTL hybrid satisfiability solving is the key technique of RTL verification. RTL混合可满足性求解是RTL验证中的关键技术。 2·Two heuristic strategies for solving satisfiability (sat) problem were presented. 提出了两个用于求解可满足性(SAT)问题的启发式策略。 3·Satisfiability (SAT) problem has been the core problem of research on computational theory. 可满足性问题(SAT)是当代理论计算机科学的核心问题。
|