布尔约束推导相关硕士博士期刊学术论文

把可满足性算法应用到合取范式中并加以分析，借助改进的数据结构实现该算法。在四色图着色中应用该算法找出一组图着色方案，并与DPLL......