activity
20102026
most citedLow Dimensional Test Sets for Nonnegativity of Even Symmetric Forms

2 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing cs.DSShow all

1 paper · 1 filter

cs.DS2018

Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials

Mareike Dressler, Adam Kurpisz, Timo de Wolff

Various key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove com…