Off the Trail: Re-examining the CDCL Algorithm (Q2843320)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Off the Trail: Re-examining the CDCL Algorithm |
scientific article |
Statements
Off the Trail: Re-examining the CDCL Algorithm (English)
0 references
12 August 2013
0 references
