Chu Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He 0001. Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract). In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022. pages 5299-5303, ijcai.org, 2022. [doi]
Abstract is missing.