Phase Transition and Network Structure in Realistic SAT Problems.

Soumya C. Kambhampati, Thomas Liu

Browse the full AAAI paper archive.