Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set: Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set

Q3 Computer Science

计算机学报 Pub Date : 2014-03-19 DOI:10.3724/SP.J.1016.2013.02087

Yanli Liu, Chumin Li, Kun He

引用次数: 0

查看原文本刊更多论文

改进基于MAXSAT完全算法的优化不一致集的下界:改进基于MAXSAT完全算法的优化不一致集的下界

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

计算机学报 Computer Science-Computer Graphics and Computer-Aided Design

CiteScore

3.00

自引率

0.00%

发文量

7308

期刊介绍：