Two Techniques for Minimizing Resolution Proofs (Q4930598)
From MaRDI portal
scientific article; zbMATH DE number 5793465
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two Techniques for Minimizing Resolution Proofs |
scientific article; zbMATH DE number 5793465 |
Statements
Two Techniques for Minimizing Resolution Proofs (English)
0 references
29 September 2010
0 references
