可满足性是知识推理领域的重要研究任务。在逻辑和计算机科学中,布尔可满足性问题（Boolean Satisfiability Problem,简称 SAT）是确定......