GPU-CPU混合可微框架提升加权部分MaxSAT求解成绩
热点事件持续更新
GPU-CPU混合可微框架提升加权部分MaxSAT求解成绩
1 篇报道1 个报道来源53 分钟前更新
先了解这件事
AI 综述
arXiv论文提出一种GPU-CPU混合框架，用可微GPU优化辅助CPU求解器处理Weighted Partial MaxSAT，无需训练数据或预训练模型，通过分层可微损失先满足硬子句、再优化带权软目标。 作者报告的评测结果为：在MSE 2024 anytime加权基准全部229个实例上，以该赛事前两名求解器为基线，300秒时限下平均求解分数比tt-open-wbo-inc-Glucose最高提升4.9%，比SPB-MaxSAT-c-FPS最高提升4.8%。
AI 根据报道生成 · 38 分钟前更新
最新进展11月14日 13:00
基于可微 GPU 引导推进 Weighted Partial MaxSAT 求解报道时间线
沿着报道，了解事件的不同侧面。
11月14日
- arXiv cs.AI基于可微 GPU 引导推进 Weighted Partial MaxSAT 求解
arXiv 论文提出一种 GPU-CPU 混合框架，用可微 GPU 优化辅助 CPU 求解 Weighted Partial MaxSAT，无需训练数据或预训练模型，通过分层可微损失先满足硬子句再优化带权软目标。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。