Zero-One Designs Produce Small Hard SAT Instances (Q4931562)
From MaRDI portal
scientific article; zbMATH DE number 5793476
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Zero-One Designs Produce Small Hard SAT Instances |
scientific article; zbMATH DE number 5793476 |
Statements
Zero-One Designs Produce Small Hard SAT Instances (English)
0 references
29 September 2010
0 references
