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

Elisabeth Gaar; Daniel Krenn; Susan Margulies; Angelika Wiegele

doi:10.1016/j.jsc.2021.01.003

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

Elisabeth Gaar
, Daniel Krenn
, Susan Margulies
, Angelika Wiegele

Institute of Production and Logistics Management

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

101015 Operations research
101016 Optimisation

JKU Focus areas

Digital Transformation
Sustainable Development: Responsible Technologies and Management

Access to Document

10.1016/j.jsc.2021.01.003

Cite this

@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

UR - https://www.scopus.com/pages/publications/85100704555

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 -

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

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this