提出新启发式，显著提升伪布尔求解器的传播效率

New Hybrid Heuristics for Pseudo-Boolean Propagation

• 设计新型混合启发式策略优化伪布尔传播决策
• 在RoundingSAT中实现显著更快的求解速度
• 适合对伪布尔求解性能有高要求的研究者

在伪布尔求解中，目前最成功的单位传播策略是结合监视字面量机制与计数方法的混合模式。本文提出新的混合决策启发式，可在RoundingSAT求解器中大幅超越现有方法，显著提升求解效率。

原文摘要 · Abstract (English)

In pseudo-boolean solving the currently most successful unit propagation strategy is a hybrid mode combining the watched literal scheme with the counting method. This short paper introduces new heuristics for this hybrid decision, which are able to drastically outperform the current method in the RoundingSAT solver.

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。