Nadia Creignou Hervé Daudé Combinatorial sharpness criterion and phase transition classification for random CSPs. 220-238 2004 190 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2004.01.002 db/journals/iandc/iandc190.html#CreignouD04