Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems

by Miguel F. Anjos
Venue:J. Satisf. Bool. Model. Comput
Citations:6 - 3 self