Satisfiability threshold for random regular \textsc{nae-sat} (Q5963757): Difference between revisions
From MaRDI portal
Latest revision as of 12:33, 9 December 2024
scientific article; zbMATH DE number 6544479
Language | Label | Description | Also known as |
---|---|---|---|
English | Satisfiability threshold for random regular \textsc{nae-sat} |
scientific article; zbMATH DE number 6544479 |
Statements
Satisfiability threshold for random regular \textsc{nae-sat} (English)
0 references
23 February 2016
0 references