@inproceedings{MexiBertholdGleixneretal.2023, author = {Gioni Mexi and Timo Berthold and Ambros Gleixner and Jakob Nordstr{\"o}m}, title = {Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning}, booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)}, volume = {280}, pages = {27:1 -- 27:19}, doi = {10.4230/LIPIcs.CP.2023.27}, year = {2023}, }