@inproceedings{WitzigBertholdHeinz2017, author = {Jakob Witzig and Timo Berthold and Stefan Heinz}, title = {Experiments with Conflict Analysis in Mixed Integer Programming}, booktitle = {Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2017}, volume = {10335}, pages = {211 -- 222}, doi = {10.1007/978-3-319-59776-8_17}, year = {2017}, }