Stronger Inference through Implied Literals from Conflicts and Knapsack Covers (Q4922900)
From MaRDI portal
scientific article; zbMATH DE number 6170475
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stronger Inference through Implied Literals from Conflicts and Knapsack Covers |
scientific article; zbMATH DE number 6170475 |
Statements
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers (English)
0 references
4 June 2013
0 references
