On 2-QBF truth testing in parallel (Q672737)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On 2-QBF truth testing in parallel |
scientific article |
Statements
On 2-QBF truth testing in parallel (English)
0 references
28 February 1997
0 references
parallel algorithms
0 references
satisfiability
0 references
quantified boolean formula
0 references
2-qbf
0 references
2-cnf
0 references
0 references
