Structure features for SAT instances classification | Publicación