Elisabeth Gaar, Daniel Krenn, Susan Margulies, Angelika Wiegele,
"Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares"
, in Journal of Symbolic Computation, Vol. 107, Seite(n) 67-105, 11-2021, ISSN: 1095-855X
Original Titel:
Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares