Givry, et al.. Solving Max-sat as Weighted CSP. Springer Berlin Heidelberg, 2003, doi:10.1007/978-3-540-45193-8_25.