简化式论文

可满足性问题算法研究-CNF的简化
论文摘要可满足性问题（BooleanSatisfiabilityProblem,简称SAT）是一个关于判断一个布尔表达式是否可为真的问题。而布尔表达式都可以转换成或与表达式（C...