The Complexity of Finding Read-Once NAE-Resolution Refutations

Buning, HK; Wojciechowski, P; Subramani, K

Wojciechowski, P (reprint author), West Virginia Univ, LCSEE, Morgantown, WV 26506 USA.

LOGIC AND ITS APPLICATIONS (ICLA 2017), 2017; 10119 ( ): 64

Abstract

In this paper, we analyze boolean formulas in conjunctive normal form (CNF) from the perspective of read-once resolution (ROR) refutation. A read-once......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索