Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström: Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. CP 2023: 27:1-27:19