BDD-Guided Clause Generation (Q5741469)
From MaRDI portal
scientific article; zbMATH DE number 6605758
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | BDD-Guided Clause Generation |
scientific article; zbMATH DE number 6605758 |
Statements
BDD-Guided Clause Generation (English)
0 references
25 July 2016
0 references
