Khalil, E. B.; Vaezipoor, P.; Dilkina, B. Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework. AAAI 2022, 36, 3786-3795.