Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem - Gonzalez, Jaime E.; Cire, Andre; Lodi, Andrea; Rousseau, Louis-Martin (Constraints, 2020)