#最小跨度抗带宽

研究团队提出新算法解决最小跨度抗带宽问题，在哈维尔-博因格稀疏矩阵集合上的测试中，并行SAT方法在MSCABL上表现最佳，增量SAT方法在MSABL上表现最佳，且在无孔约束下，SAT方法与CPLEXCP相比表现竞争，显著优于CPLEXMIP和Gurobi，尤其对于MSCABL。