Centrality-based improvements to CDCL heuristics (Q1656570)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Centrality-based improvements to CDCL heuristics |
scientific article; zbMATH DE number 6916303
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Centrality-based improvements to CDCL heuristics |
scientific article; zbMATH DE number 6916303 |
Statements
Centrality-based improvements to CDCL heuristics (English)
0 references
10 August 2018
0 references
