Semidefinite optimization approaches for satisfiability and maximumsatisfiability problems (2005)

by M F Anjos
Venue:J. on Satisfiability, Boolean Modeling and Computation