Removing redundancy from a clause (Q685346)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Removing redundancy from a clause |
scientific article; zbMATH DE number 417266
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Removing redundancy from a clause |
scientific article; zbMATH DE number 417266 |
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
0.8533075
0 references
0.84405744
0 references
0 references
0.7954249
0 references
0.7954249
0 references
0.7886217
0 references
0.78367543
0 references
0 references
