Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (Q4930582)
From MaRDI portal
scientific article; zbMATH DE number 5793449
Language | Label | Description | Also known as |
---|---|---|---|
English | Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold |
scientific article; zbMATH DE number 5793449 |
Statements
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (English)
0 references
29 September 2010
0 references