变元交互图相关硕士博士期刊学术论文

布尔可满足性问题是理论计算机科学中的核心问题,人们一直致力于寻找CNF公式实例难解的本质,通过限定CNF公式的结构,如子句长度、......