@inproceedings{WitzigBerthold2020, author = {Jakob Witzig and Timo Berthold}, title = {Conflict-Free Learning for Mixed Integer Programming}, booktitle = {Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2020}, number = {12296}, pages = {521 -- 530}, doi = {10.1007/978-3-030-58942-4_34}, year = {2020}, }