The complexity of read-once resolution (Q1610491)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The complexity of read-once resolution |
scientific article |
Statements
The complexity of read-once resolution (English)
0 references
20 August 2002
0 references
read-once resolution
0 references
propositional formulas
0 references
complexity
0 references
\(k\)-resolution
0 references
minimal unsatisfiability
0 references