(1)
Elffers, J.; Nordstr”m, J. A Cardinal Improvement to Pseudo-Boolean Solving. AAAI 2020, 34, 1495-1503.