Width and size of regular resolution proofsReportar como inadecuado



 Width and size of regular resolution proofs


Width and size of regular resolution proofs - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: Width and size of regular resolution proofs
This paper discusses the topic of the minimum width of a regular resolution refutation of a set of clauses. The main result shows that there are examples having small regular resolution refutations, for which any regular refutation must contain a large clause. This forms a contrast with corresponding results for general resolution refutations.



Autor: Alasdair Urquhart

Fuente: https://archive.org/







Documentos relacionados