Stronger Inference through Implied Literals from Conflicts and Knapsack Covers (Q4922900)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6170475
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.81377584
0 references
0.8073356
0 references
0.80527914
0 references
0.8027644
0 references
0.80095494
0 references
0.7995304
0 references
