BriefGPT.xyz
Ask
alpha
关键词
hard clauses
搜索结果 - 1
结合多臂老虎机和局部搜索的 MaxSAT 算法
本文提出了一种基于多臂赌博机的本地搜索算法 BandHS 用来解决 MaxSAT 及其两个泛化问题,和一个初始化方法优化算法的表现。经过大量实验证明,本文提出的方法在解决 MaxSAT 问题时表现出色。
PDF
2 years ago
Prev
Next