Khalil, E. B., Vaezipoor, P., & Dilkina, B. (2022). Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework. Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), 3786-3795. https://doi.org/10.1609/aaai.v36i4.20293