Bounding the unsatisfiability threshold of random 3-SAT (Q4511484)
From MaRDI portal
scientific article; zbMATH DE number 1523256
Language | Label | Description | Also known as |
---|---|---|---|
English | Bounding the unsatisfiability threshold of random 3-SAT |
scientific article; zbMATH DE number 1523256 |
Statements
6 February 2001
0 references
unsatisfiability threshold
0 references
Gaussian coefficients
0 references
generating functions
0 references
satisfiability threshold
0 references
random 3-SAT
0 references
spin system
0 references
statistical physics
0 references
Rogers-Szegö polynomials
0 references
Bounding the unsatisfiability threshold of random 3-SAT (English)
0 references