会议论文《基于优化冲突集提高下界的MAXSAT完备算法》发表于2013中国计算机大会，提出一种改进的MAXSAT求解方法。该算法通过优化冲突集来提升下界计算效率，从而加快求解过程。研究重点在于如何有效识别和处理冲突集，以减少不必要的搜索空间，提高算法的完备性和性能。
文档为pdf格式，1.03MB，总共9页。
举报
