【boolean_satisfiability_problem】什么意思_英语boolean_satisfiability_problem的翻译_音标_读音_用法_例句_在线翻译

Boolean satisfiability problem

布尔可满足性问题（布尔可满足性问题是确定给定布尔公式是否有解的问题）

网络释义 专业释义 英英释义

布尔可满足性问题

这就是布尔可满足性问题（Boolean Satisfiability Problem），即询问一组逻辑陈述是否能同时成立或者互相矛盾。迪奥拉里卡声称，他已经证明，任何程序都无法迅速解答这个问题，因此，它不是...

基于2474个网页-相关网页

问题SAT

...(i) odpar End 3 随机抽题问题无纸化考试系统的随机抽题问题可以看成是布尓可满足性问题SAT (Boolean Satisfiability problem)的扩展ESAT，或者看成是带权的SAT，即把每一位布尔值看成相应考题是否被选中状态，当某题被选中时，再以该题的分值参予评估， ...

基于12个网页-相关网页

布尔可满足问题

布尔可满足问题

基于1个网页-相关网页

短语

boolean satisfiability problem sat 可满足问题

计算机科学技术

布尔可满足问题 - 引用次数：2
参考来源 - 模型检验及其布尔可满足问题的研究

·2,447,543篇论文数据，部分数据来源于NoteExpress

Boolean satisfiability problem

abstract: In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it establishes if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.

以上来源于: WordNet

双语例句

To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.

强调二进制的性质这一问题，这是经常被称为布尔或命题满足。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句

目录

Boolean satisfiability problem

网络释义 专业释义 英英释义

Boolean satisfiability problem

相关文章

双语例句

修改单词