布尔可满足性问题-一流百科

布尔可满足性问题

布尔可满足性问题在逻辑学和计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY，SAT或B-SAT）是确定是否存在一个满足给定布...

词条百科