在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
Boolean satisfiability problem
查词链接：
https://www.dute.org/dict/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.
网络释义
布尔可满足性问题
这就是布尔可满足性问题（Boolean Satisfiability Problem），即询问一组逻辑陈述是否能同时成立或者互相矛盾。迪奥拉里卡声称，他已经证明，任何程序都无法迅速解答这个问题，因此，它不是...
问题SAT
...(i) odpar End 3 随机抽题问题 无纸化考试系统的随机抽题问题可以看成 是布尓可满足性问题SAT (Boolean Satisfiability problem)的扩展ESAT，或者看成是带权的SAT， 即把每一位布尔值看成相应考题是否被选中状 态，当某题被选中时，再以该题的分值参予评估， ...
布尔可满足问题
布尔可满足问题
常用短语
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}