Intractability of read-once resolution

Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference Pub Date : 1995-06-19 DOI:10.1109/SCT.1995.514725

K. Iwama, Eiji Miyano

引用次数: 51

Abstract

Read-once resolution (ROR) is a resolution proof system in which the rule (A+x)(B+.

查看原文本刊更多论文

一次读取解析的难治性

只读一次分辨率(ROR)是一种分辨率证明系统，其中规则(a +x)(B+。

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

求助全文

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

来源期刊

自引率

0.00%

发文量