Efficient branch-and-bound algorithms for weighted MAX-2-SAT. - Toshihide Ibaraki; Takashi Imamichi; Yuichi Koga; Hiroshi Nagamochi; Koji Nonobe; Mutsunori Yagiura (Math. Program., 2011)