Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems
Miguel F. Anjos · Journal on Satisfiability Boolean Modeling and Computation · 2005
Semidefinite optimization, commonly referred to as semidefinite programming, has been a remarkably active area of research in optimization during the last decade. For combinatorial problems in particular, semidefinite programming has had a truly sign