Xu, et al.. Random Constraint Satisfaction: Easy Generation of Hard (satisfiable) Instances. no. 8-9, Elsevier BV, 2007, doi:10.1016/j.artint.2007.04.001.