PulseAugur
中
实时 22:23:38
实体 OP-to-MaxSAT reduction

OP-to-MaxSAT reduction

PulseAugur coverage of OP-to-MaxSAT reduction — every cluster mentioning OP-to-MaxSAT reduction across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_05207 ·

    新求解器通过MaxSAT约简统一各类优化问题

    研究人员开发了一种名为OP-to-MaxSAT约简的新方法，创建了一个名为GORED的通用优化求解器。该方法通过将各种优化问题转换为MaxSAT实例来统一求解，然后由现有求解器处理。对11种优化问题的实验表明，GORED能够成功解决广泛的问题，其解决方案质量可与专用方法相媲美。