incomplete solving | BriefGPT

关键词incomplete solving

搜索结果 - 1

MM不完整 MaxSAT 的近似策略
本文提出了两种近似策略来改进不完全解决 MaxSAT 问题，并通过在 MaxSAT 评估 2017 中实验结果表明，这两种策略能够比最佳不完全求解器找到更好的解决方案。这两种策略分别是：通过聚类并用代表权重近似表示，以及将求解无法满足的子句
PDF6 years ago