An ILP for solving the anionic Clar number of fullerenes - Slobodin, A. (2024)