En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento ...