Phase Transition and Network Structure in Realistic SAT Problems

Open in new window