A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Q2817909)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality |
scientific article |
Statements
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (English)
0 references
5 September 2016
0 references
