Relaxations of the satisfiability problem using semidefinite programming
More Info
expand_more
expand_more