Proving SAT does not have small circuits with an application to the two queries problem (Q2475408)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving SAT does not have small circuits with an application to the two queries problem |
scientific article |
Statements
Proving SAT does not have small circuits with an application to the two queries problem (English)
0 references
11 March 2008
0 references
SAT
0 references
small circuits
0 references
two queries
0 references
