Efficient branch-and-bound algorithms for weighted MAX-2-SAT.

Published in: Math. Program. (2011)

Keyphrases