@misc{indiciae359077711389,
  title = {Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning},
  author = {Gioni Mexi and Timo Berthold and Ambros Gleixner and Jakob Nordström},
  year = {2023},
  url = {https://arxiv.org/abs/2307.14166},
  note = {Source identifier: 2307.14166}
}