Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)

Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

• Video #1 Length : 00:01:29 on SlidesLive
• Video #2 Length : 00:11:53 on SlidesLive