Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases

Elisabeth Gaar, Melanie Siebenhofer. Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases. Journal of Symbolic Computation, 120:102236, 2024. [doi]

@article{GaarS24,
  title = {Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases},
  author = {Elisabeth Gaar and Melanie Siebenhofer},
  year = {2024},
  doi = {10.1016/j.jsc.2023.102236},
  url = {https://doi.org/10.1016/j.jsc.2023.102236},
  researchr = {https://researchr.org/publication/GaarS24},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {120},
  pages = {102236},
}