//-->
Proofs of unsatisfiability via semidefinite programming
Anjos, Miguel F., (2004)
A semidefinite optimization-based approach for global optimization of multi-row facility layout
Hungerländer, Philipp, (2015)
On semidefinite programming relaxations for the satisfiability problem