Heal, Maher, Dashtipour, Kia, Gogate, Mandar, "Formulations and Algorithms to Find Maximal and Maximum Independent Sets of Graphs", , 2025