Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares

Elisabeth Gaar, Daniel Krenn, Susan Margulies, Angelika Wiegele

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	67-105
Number of pages	39
Journal	Journal of Symbolic Computation
Volume	107
DOIs	https://doi.org/10.1016/j.jsc.2021.01.003
Publication status	Published - Nov 2021

Fields of science

@article{25b8c4add9714389a59a257454b98ff4,

title = "Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares",

author = "Elisabeth Gaar and Daniel Krenn and Susan Margulies and Angelika Wiegele",

year = "2021",

month = nov,

doi = "10.1016/j.jsc.2021.01.003",

language = "English",

volume = "107",

pages = "67--105",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares

AU - Gaar, Elisabeth

AU - Krenn, Daniel

AU - Margulies, Susan

AU - Wiegele, Angelika

PY - 2021/11

Y1 - 2021/11

U2 - 10.1016/j.jsc.2021.01.003

DO - 10.1016/j.jsc.2021.01.003

M3 - Article

SN - 1095-855X

VL - 107

SP - 67

EP - 105

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

ER -