Non existence of some mixed Moore graphs of diameter 2 using SAT | Publicación