New Hybrid Heuristics for Pseudo-Boolean Propagation

TL;DR

This paper introduces new heuristics for pseudo-boolean propagation that significantly improve performance in the RoundingSAT solver by enhancing the hybrid unit propagation strategy.

Contribution

It presents novel heuristics for hybrid pseudo-boolean propagation that outperform existing methods in a leading solver.

Findings

Heuristics drastically improve propagation efficiency.

Performance gains demonstrated in RoundingSAT solver.

Enhanced heuristics outperform current hybrid methods.

Abstract

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.