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

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

Published in: CP (2023)

Keyphrases

pseudo boolean
knowledge representation
knowledge base
combinatorial problems