Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT | Publicación