Relaxations of the satisfiability problem using semidefinite programming

More Info
expand_more