A sharp threshold for the renameable-Horn and the \(q\)-Horn properties (Q2581546)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2244800
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A sharp threshold for the renameable-Horn and the \(q\)-Horn properties |
scientific article; zbMATH DE number 2244800 |
Statements
A sharp threshold for the renameable-Horn and the \(q\)-Horn properties (English)
0 references
10 January 2006
0 references
sharp satisfiability threshold
0 references
\(q\)-Horn
0 references
renameable-Horn
0 references
random formula
0 references
0.83346117
0 references
0.82145077
0 references
0.81499124
0 references
0.81147563
0 references
0.8111703
0 references
0.80777735
0 references
0.80749786
0 references
0.8070344
0 references
