New Hybrid Heuristics for Pseudo-Boolean Propagation
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 0 of its 9 references that are in the map. First posted on arXiv 26 Nov 2025.
Builds on
0 of 9 references.
No references here yet.
Built on by
Not cited yet.