Phase Transitions for Scale-Free SAT Formulas

Open in new window