An SDP-Based Approach for Computing the Stability Number of a Graph - Elisabeth Gaar; Melanie Siebenhofer; Angelika Wiegele (2021)