Agra, Agostinho, Jorge Orestes Cerdeira, and Cristina Requejo. "A computational comparison of compact {MILP} formulations for the zero forcing number." Discrete Applied Mathematics. 269 (2019): 169-183.