The SAT phase transition

DOI10.1007/BF02917402zbMath1002.68070MaRDI QIDQ1610035

Ke Xu, Wei Li

Publication date: 18 August 2002

Published in: Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

phase transitionSAT problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (2)

On the average similarity degree between solutions of random \(k\)-SAT and random CSPs. ⋮ Phase Transition for Maximum Not-All-Equal Satisfiability

Cites Work

• A mathematic-physical approach to the satisfiability problem

This page was built for publication: The SAT phase transition