SemidefiniteProgramming

swMATH33286MaRDI QIDQ44995FDOQ44995

Author name not available (Why is that?)

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