- [x] Multipartite (done in SOSTools): https://github.com/JuliaOpt/SumOfSquares.jl/pull/69 - [ ] Exact with V-representation -> H-representation conversion (done in SOSTools with CDD), we can use [Polyhedra](https://github.com/JuliaPolyhedra/Polyhedra.jl) for that - [ ] Exact by solving an LP for each monomial (done in YALMIP), we could also rely on [Polyhedra](https://github.com/JuliaPolyhedra/Polyhedra.jl) for that