CAI, J., HUANG, T., & DILKINA, B. (2024). Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning (Version 1.0.0) [Computer software]. https://doi.org/10.5281/zenodo.1234