Complexity analysis of propositional resolution with autarky pruning (Q1961454)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity analysis of propositional resolution with autarky pruning |
scientific article |
Statements
Complexity analysis of propositional resolution with autarky pruning (English)
0 references
13 June 2000
0 references
Modoc
0 references
conjunctive normal form
0 references
