2-SAT算法相关硕士博士期刊学术论文

2-SAT算法相关论文

可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SA......

期刊