Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning (Q5387867)
From MaRDI portal
scientific article; zbMATH DE number 5279550
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning |
scientific article; zbMATH DE number 5279550 |
Statements
Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning (English)
0 references
27 May 2008
0 references
