合取范式的可满足性完备算法研究与实现

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