Metadata
Author: WikiMatrix
Data
English[en]
These possible colorings were logically and algorithmically narrowed down to around a trillion (still highly complex) cases, and those were examined using a Boolean satisfiability solver.
Spanish[es]
Estas posibles coloraciones se redujeron lógica y algorítmicamente a alrededor de un trillón de (aún altamente complejos) casos, y se examinaron utilizando un resolucionador de problemas de satisfacibilidad booleana.