随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
随笔分类 - maxSAT
文献学习—— Combining Clause Learning and Branch and Bound for MaxSAT
摘要：Combining Clause Learning and Branch and Bound for MaxSAT Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He, Combining Clause Le
阅读全文
