Independence numbers of polyhedral graphs. - Sébastien Gaspoz; Riccardo W. Maffucci (Appl. Math. Comput., 2024)