Khalil, Elias B., Pashootan Vaezipoor, and Bistra Dilkina. 2022. “Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (4):3786-95. https://doi.org/10.1609/aaai.v36i4.20293.