随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
随笔分类 - UIG-UIP
蕴含图及唯一蕴含点
文献学习—— 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
阅读全文
