实体
MaxSAT
MaxSAT
PulseAugur coverage of MaxSAT — every cluster mentioning MaxSAT across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新的CP方法优化树集成模型的反事实解释
研究人员开发了一种名为CPCF的新约束编程（CP）方法，用于计算树集成模型中的最优反事实解释。该方法将数值特征编码为区间域，并将离散特征用原生的有限域表示，从而无需连续边界分析即可实现高效搜索。该研究在各种数据集和树集成类型上将CPCF与MaxSAT和MILP方法进行了比较，发现CP是最通用且性能普遍最好的方法。
-
新求解器通过MaxSAT约简统一各类优化问题
研究人员开发了一种名为OP-to-MaxSAT约简的新方法，创建了一个名为GORED的通用优化求解器。该方法通过将各种优化问题转换为MaxSAT实例来统一求解，然后由现有求解器处理。对11种优化问题的实验表明，GORED能够成功解决广泛的问题，其解决方案质量可与专用方法相媲美。