Demostración Asistida por Computadora de Conjeturas Combinatorias Sobre Dominios Finitos: Un Estudio de Caso de una Conjetura de Ajedrez