X-纯文字相关硕士博士期刊学术论文 - 搜论网

X-纯文字相关论文

一种布尔公式的代数逻辑约化新方法

布尔可满足问题是最早被证明的NP完全问题之一,1-in-3-SAT问题是一个NP完全的布尔可满足子类问题。1-in-3-SAT的计算复杂度取决于......

期刊

NP完全问题布尔可满足性问题 1-in-3-SAT XCNF X-纯文字 NP complete problemBoolean satisfiability

看过本文同时还关注