Toshihide Ibaraki, Takashi Imamichi, Yuichi Koga, Hiroshi Nagamochi, Koji Nonobe, Mutsunori Yagiura. Efficient branch-and-bound algorithms for weighted MAX-2-SAT. Math. Program., 127(2):297-343, 2011. [doi]
@article{IbarakiIKNNY11,
title = {Efficient branch-and-bound algorithms for weighted MAX-2-SAT},
author = {Toshihide Ibaraki and Takashi Imamichi and Yuichi Koga and Hiroshi Nagamochi and Koji Nonobe and Mutsunori Yagiura},
year = {2011},
doi = {10.1007/s10107-009-0285-6},
url = {http://dx.doi.org/10.1007/s10107-009-0285-6},
researchr = {https://researchr.org/publication/IbarakiIKNNY11},
cites = {0},
citedby = {0},
journal = {Math. Program.},
volume = {127},
number = {2},
pages = {297-343},
}