[1]
J. Elffers and J. Nordstr”m, “A Cardinal Improvement to Pseudo-Boolean Solving”, AAAI, vol. 34, no. 02, pp. 1495-1503, Apr. 2020.