这就是布尔可满足性问题（Boolean Satisfiability Problem），即询问一组逻辑陈述是否能同时成立或者互相矛盾。迪奥拉里卡声称，他已经证明，任何程序都无法迅速解答这个问题，因此，它不是...
基于2472个网页-相关网页
... Satisfiability problem 布尔可满足性问题 ; Boolean satisfiability 布尔可满足性问题 ; 布尔可满足性 3-satisfiability 布尔可满足性问题 ...
基于10个网页-相关网页
... Satisfiability Checking 可满足性判定 Satisfiability problem 布尔可满足性问题 ; Boolean satisfiability 布尔可满足性问题 ; 布尔可满足性 ...
基于8个网页-相关网页
非布尔可满足性问题 non-boolean satisfiability problems
在计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是确定是否存在满足给定布尔公式的解释的问题。换句话说，它询问给定布尔公式的变量是否可以一致地用值TRUE或FALSE替换，公式计算结果为TRUE。如果是这种情况，公式称为可满足。另一方面，如果不存在这样的赋值，则对于所有可能的变量赋值，公式表示的函数为FALSE，并且公式不可满足。例如，公式“a AND NOT b”是可以满足的，因为可以找到值a = TRUE且b = FALSE，这使得（a AND NOT b）= TRUE。相反，“a AND NOT a”是不可满足的。
应用推荐