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

Gioni Mexi Timo Berthold Ambros M. Gleixner Jakob Nordström

Published in: CoRR (2023)

Keyphrases

np hard
linear programming