Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials