The complexity of read-once resolution
type: Item
instance of: scholarly article
title: The complexity of read-once resolution
zbMATH Open document ID: 1015.68081
DOI: 10.1023/A:1016339119669
author: Hans Kleine Büning
author: Xishun Zhao
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2002-08-20T00:00:00Z
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 1784202
zbMATH Keywords: read-once resolution
zbMATH Keywords: propositional formulas
zbMATH Keywords: complexity
zbMATH Keywords: \(k\)-resolution
zbMATH Keywords: minimal unsatisfiability
MaRDI profile type: Publication
full work available at URL: a:1016339119669
OpenAlex ID: W1512384059
description: scientific article; zbMATH DE number 1784202