Hat mitgewirkt an:
-
Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases
-
On different versions of the exact subgraph hierarchy for the stable set problem
-
Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares
-
An optimization-based sum-of-squares approach to Vizing's conjecture