基于环型扩展推理规则的MaxSAT完备算法

PDF(890115 KB)

南京大学学报(自然科学版) ›› 2015, Vol. 51 ›› Issue (4) : 762-771.

作者信息 +

MaxSAT complete algorithm based cycle extended inference rules

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2015, 51(4): 762-771

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. {{journal.qiKanMingCheng_EN}}, 2015, 51(4): 762-771

中图分类号：

列表( 原文顺序 | 文献年度倒序 | 文中引用次数倒序 ) 可视化分析

编委：

主编：

责任编辑：

编辑:

PDF(890115 KB)

Accesses

Citation

Detail

段落导航