BDD-based optimization for the quadratic stable set problem - Gonzalez, Jaime E.; Cire, Andre; Lodi, Andrea; Rousseau, Louis-Martin (Discrete Optimization, 2020)