• Member for 11 years, 4 months
  • Last seen more than a week ago
6 answers
4 votes
The maximum of a real trigonometric polynomial
Accepted answer
6 votes

It turns out that it is possible to achieve an arbitrarily small additive error using semidefinite programming. This is from the paper: J.W. McLean, H.J. Woerdeman. Spectral factorizations and sums ...

View answer
1 answers
-1 votes
How to encode minimality constraint into SAT?
1 votes

I don't understand why you would want to encode minimality into it. You can obtain the same effect very easily. Run the SAT solver normally, then try setting variables to 0 as long the formula is ...

View answer