Scale-Free Random SAT Instances | Publicación