BriefGPT.xyz
Ask
alpha
关键词
unsatisfiability-based
搜索结果 - 1
UpMax:用戶分區的 MaxSAT
本文提出了一种新的框架 UpMax,将分割过程与 MaxSAT 解决算法分离,使用户能够根据问题来提出分割方案,证明分割对于基于不可满足性的 MaxSAT 算法的性能有很大的影响。
PDF
a year ago
Prev
Next