Finding backdoors to integer programs: A Monte Carlo Tree Search framework

Publication
Proceedings of the AAAI Conference on Artificial Intelligence