SemidefiniteProgramming

MaRDI QIDQ44995swMATHFDO

Official website http://www2.macaulay2.com/Macaulay2/doc/Macaulay2-1.13/share/doc/Macaulay2/SemidefiniteProgramming/html/index.html

Described by source

• CoReS: a tool for computing core graphs via SAT/SMT solvers

Cited in

(1)

• CoReS

This page was built for software: SemidefiniteProgramming