Improving Watched Pseudo-Boolean Propagation with Significant Literals. - Mia Müßig; Jan Johannsen (SMT/POS@CP/SAT/SoCS, 2025)

New Hybrid Heuristics for Pseudo-Boolean Propagation. - Mia Müßig; Jan Johannsen (CoRR, 2025)