The wonderful result that Scott and friends showed is a phase transition from Ksat expressions that are almost certainly satisfiable to Ksat expressions that are almost certainly not satisfiable (Figure .).
Scott and friends showed is a phase transition from Ksat expressions thats satisfiable and not satisfiable.