Backdoor Sets of Quantified Boolean Formulas (Q3612469)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Backdoor Sets of Quantified Boolean Formulas |
scientific article; zbMATH DE number 5527211
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Backdoor Sets of Quantified Boolean Formulas |
scientific article; zbMATH DE number 5527211 |
Statements
Backdoor Sets of Quantified Boolean Formulas (English)
0 references
10 March 2009
0 references
0.9557310938835144
0 references
0.8298781514167786
0 references
0.8127301335334778
0 references
0.8078667521476746
0 references
0.8016414642333984
0 references
