Nested Boolean Functions as Models for Quantified Boolean Formulas (Q5326469)
From MaRDI portal
scientific article; zbMATH DE number 6195201
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nested Boolean Functions as Models for Quantified Boolean Formulas |
scientific article; zbMATH DE number 6195201 |
Statements
Nested Boolean Functions as Models for Quantified Boolean Formulas (English)
0 references
5 August 2013
0 references
