Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.

Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordstrm

Browse the full CP paper archive.