Hidden cliques and the certification of the restricted isometry propertyPascal KoiranAnastasios Zouzias2014IEEE Trans. Inf. Theory