An Operator for Removal of Subsumed Clauses (Q3628566)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Operator for Removal of Subsumed Clauses |
scientific article |
Statements
An Operator for Removal of Subsumed Clauses (English)
0 references
20 May 2009
0 references
subsumed clauses
0 references
formal verification
0 references
zero-suppressed binary decision diagram
0 references
quantified Boolean formula
0 references
satisfiability
0 references
