ALLQBF Solving by Computational Learning (Q4649309)
From MaRDI portal
scientific article; zbMATH DE number 6109382
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ALLQBF Solving by Computational Learning |
scientific article; zbMATH DE number 6109382 |
Statements
ALLQBF Solving by Computational Learning (English)
0 references
21 November 2012
0 references
QBF
0 references
computational learning
0 references
QBF model enumeration
0 references
