2 problems

Matching

The MAX-SAT and SAT equivalence conjecture
MAX-SAT and SAT equivalence conjecture. For any $c<0$ ,
openmax-sat phase-transitions random-k-sat
05
The MAX-SAT limiting function conjecture
MAX-SAT limiting function conjecture. For every $k$ and every constant $c>0$ , as $n\rightarrow\infty$ ,
openmax-sat probabilistic-combinatorics random-k-sat
05

The MAX-SAT and SAT equivalence conjecture