Experiments with Conflict Analysis in Mixed Integer Programming.

Jakob Witzig, Timo Berthold, Stefan Heinz

Browse the full CPAIOR paper archive.