TY - RPRT TI - On Some Recent MAX SAT Approximation Algorithms AU - Matthias Poloczek AU - David P. Williamson AU - Anke van Zuylen PY - 2013 UR - https://arxiv.org/abs/1308.3405 ID - 1308.3405 ER -