On the Structure of Industrial SAT Instances | Publicación