Satisfiability threshold for random regular \textsc{nae-sat} (Q5963757)
From MaRDI portal
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
