TY - RPRT TI - A New Bound for 3-Satisfiable MaxSat and its Algorithmic Application AU - Gregory Gutin AU - Mark Jones AU - Dominik Scheder AU - Anders Yeo PY - 2012 UR - https://arxiv.org/abs/1104.2818 ID - 1104.2818 ER -