The packing chromatic number of the infinite square lattice is between 13 and 15

Barnaby Martin, Franco Raimondi, Taolue Chen +1

Using a SAT-solver on top of a partial previously-known solution we improve the upper bound of the packing chromatic number of the infinite square lattice from 17 to 15. We discuss…