@inproceedings{Choi:2009:AWM:1788994.1789016,
 author = {Choi, Arthur and Standley, Trevor and Darwiche, Adnan},
 title = {Approximating Weighted Max-SAT Problems by Compensating for Relaxations},
 booktitle = {Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming},
 series = {CP'09},
 year = {2009},
 isbn = {3-642-04243-0, 978-3-642-04243-0},
 location = {Lisbon, Portugal},
 pages = {211--225},
 numpages = {15},
 acmid = {1789016},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}