BriefGPT.xyz
Ask
alpha
关键词
partial maxsat
搜索结果 - 2
IJCAI
BandMaxSAT:具有多臂老虎机的局部搜索 MaxSAT 求解器
本研究提出了一个名为 BandMaxSAT 的局部搜索算法,它应用多臂赌博机模型来引导搜索方向,特别适用于 Partial MaxSAT (PMS) 和 Weighted PMS (WPMS) 问题,相较于现有算法 SATLike3.0,实
→
PDF
2 years ago
AAAI
利用远见概率采样提升本地搜索 MaxSAT 求解器的通用策略
本文提出了一种名为 FPS 的策略,通过考虑连续翻转一对变量的好处来替换单一翻转机制,以提高本地搜索算法的效率,解决了局部最优解品质较低的问题,并通过最佳取样的方法避免了局部最优解,实验表明该方法极大地提高了最先进的 (W) PMS 解算器
→
PDF
3 years ago
Prev
Next