Liu, Thomas

1 publications

AAAI 2013 Phase Transition and Network Structure in Realistic SAT Problems Soumya C. Kambhampati, Thomas Liu