Mu, Zongxu

1 publications

IJCAI 2015 On the Empirical Time Complexity of Random 3-SAT at the Phase Transition Zongxu Mu, Holger H. Hoos