Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) | Publicación