- 可满足性
- boolean satisfiability problem: 布尔可满足性问题; 布尔可足性
- satisfiable: adj. 1.可使满足[满意]的。 2.能偿还[赔偿]的。
- satisfactory weld: 合格焊件
- satisficer: 满足者
- satisfactory stall: 良好失速特性
下载手机词典可随时随地查词查翻译
satisfiability中文什么意思
- 可满足性
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 下一页
- The theory and applications of satisfiability testing , 6th int . conf . ,
实验结果表明,这种基于sat的方法是高效的 - Possibility - satisfiability analysis of urban rational scale of population - take jinan as an example
特大型矿井持续开采的合理规模分析 - Study of rational mining capacity in super - huge coal mine based on possibility - satisfiability method
满意度方法的特大型矿井开采规模研究 - Building and application of the currency crisis warning system based on possibility - satisfiability method
浅论高职学生自主学习英语能力的培养 - A consistency improving method based on possibility - satisfiability degree and weighted geometric mean
一种基于可能满意度与加权几何平均的一致性改进方法
百科释义
In mathematical logic, satisfiability and validity are elementary concepts of semantics. A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.
详细百科解释