Removing redundancy from a clause (Q685346)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Removing redundancy from a clause |
scientific article |
Statements
Removing redundancy from a clause (English)
0 references
31 October 1993
0 references
redundant literals
0 references
condensing
0 references
redundancy elimination
0 references
co-\(NP\)-complete
0 references
