Sum-of-Squares Certificates for Vizing's Conjecture via Determining Gröbner Bases - Elisabeth Gaar; Melanie Siebenhofer (2021)