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