@inproceedings{ChoiStandleyDarwiche09,
author = {Arthur Choi and Trevor Standley and Adnan Darwiche},
title = {Approximating Weighted Max-SAT Problems by Compensating for Relaxations},
booktitle = {Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP)},
year = {2009},
pages = {211--225}
}