Mar, 2024

图着色问题的部分有序模型的SAT编码

TL;DR提出了基于SAT编码的偏序基于整数线性规划模型,应用于图着色问题和带宽着色问题,实验和理论分析结果表明,这种SAT编码在稀疏图上非常有效,超过了现有方法的性能。