satisfiability

US [sætɪsfaɪə'bɪlɪtɪ]
UK [sætɪsfaɪə'bɪlɪtɪ]
  • n.〔数〕可满足性
  • Web可满足性问题；布尔可满足性问题；一致性

E-C

Web Definition

n.
1.
〔数〕可满足性

Sample Sentence

Definition:
AllAll,〔数〕可满足性〔数〕可满足性,可满足性问题可满足性问题,布尔可满足性问题布尔可满足性问题,一致性一致性
Category:AllAll,OralOral,WrittenWritten,TitleTitle,TechnicalTechnical
Source:AllAll,DictionaryDictionary,WebWeb
Difficulty:AllAll,EasyEasy,MiddleMiddle,HardHard
1.
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
zǐ jù jí de kě mǎn zú xìng pàn dìng shì zì dòng zhèng míng lǐng yù de rè diǎn zhī yī 。
www.dictall.com
2.
Finally, the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space.
最后，根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。
zuì hòu , gēn jù zhèng jiāo zǐ jù zǔ duì zhěng gè fù zhí kōng jiān de fù gài qíng kuàng lái pàn duàn SAT shì fǒu mǎn zú 。
www.ceps.com.tw
3.
Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.
在基于逻辑电路的布尔推理过程中，经常用到二叉判决图（BDD）与布尔可满足性（SAT）相结合的算法。
zài jī yú luó jí diàn lù de bù ěr tuī lǐ guò chéng zhōng , jīng cháng yòng dào èr chā pàn jué tú ( BDD ) yǔ bù ěr kě mǎn zú xìng ( SAT ) xiāng jié hé de suàn fǎ 。
www.ceps.com.tw
4.
Then, using Boolean satisfiability (SAT) solvers to solve, constrained combination test cases are found out, which meet the constraints.
利用布尔可满足性求解器进行求解，找出满足约束条件的约束组合测试用例。
lì yòng bù ěr kě mǎn zú xìng qiú jiě qì jìn xíng qiú jiě , zhǎo chū mǎn zú yuē shù tiáo jiàn de yuē shù zǔ hé cè shì yòng lì 。
www3.chkd.cnki.net
5.
Satisfiability (SAT) problem has been the core problem of research on computational theory.
可满足性问题（SAT）是当代理论计算机科学的核心问题。
kě mǎn zú xìng wèn tí ( SAT ) shì dāng dài lǐ lùn jì suàn jī kē xué de hé xīn wèn tí 。
www.fabiao.net
6.
Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach
数字电路测试生成的可满足性方法研究
shù zì diàn lù cè shì shēng chéng de kě mǎn zú xìng fāng fǎ yán jiū
www.ilib.cn
7.
Using Boolean Satisfiability for Combinational Equivalence Checking
使用布尔可满足性的组合电路等价性验证算法
shǐ yòng bù ěr kě mǎn zú xìng de zǔ hé diàn lù děng jià xìng yàn zhèng suàn fǎ
www.ilib.cn
8.
Study of Rational Mining Capacity in Super-Huge Coal Mine Based on Possibility-Satisfiability Method
基于可能-满意度方法的特大型矿井开采规模研究
jī yú kě néng - mǎn yì dù fāng fǎ de tè dà xíng kuàng jǐng kāi cǎi guī mó yán jiū
www.ilib.cn
9.
A New Strategy in Systematic Algorithm for Non- Boolean Satisfiability Problems
非布尔问题系统求解算法的一种新思路
fēi bù ěr wèn tí xì tǒng qiú jiě suàn fǎ de yī zhǒng xīn sī lù
www.ilib.cn
10.
Combinational Equivalence Checking Based on Incremental Satisfiability
基于增量可满足性的等价性检验方法
jī yú zēng liàng kě mǎn zú xìng de děng jià xìng jiǎn yàn fāng fǎ
www.ilib.cn