Super solutions of random \((3 + p)\)-SAT (Q2326395)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Super solutions of random \((3 + p)\)-SAT |
scientific article |
Statements
Super solutions of random \((3 + p)\)-SAT (English)
0 references
7 October 2019
0 references
\((1, 0)\)-satisfiable
0 references
super solution
0 references
phase transition
0 references
unit clause
0 references
0 references
0 references