Adrian Kügel. Improved Exact Solver for the Weighted MAX-SAT Problem. In Daniel Le Berre, editor, POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010. Volume 8 of EPiC Series, pages 15-27, EasyChair, 2010. [doi]
@inproceedings{Kugel10,
title = {Improved Exact Solver for the Weighted MAX-SAT Problem},
author = {Adrian Kügel},
year = {2010},
url = {http://www.easychair.org/publications/?page=2003892821},
researchr = {https://researchr.org/publication/Kugel10},
cites = {0},
citedby = {0},
pages = {15-27},
booktitle = {POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010},
editor = {Daniel Le Berre},
volume = {8},
series = {EPiC Series},
publisher = {EasyChair},
}