The Packing Chromatic Number of the Infinite Square Lattice is Between 13 and 15

Barnaby Martin,Franco Raimondi,Taolue Chen,Jos Martin
DOI: https://doi.org/10.1016/j.dam.2017.03.013
IF: 1.254
2017-01-01
Discrete Applied Mathematics
Abstract: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 the merits of SAT-solving for this kind of problem as well as compare the performance of different encodings. Further, we improve the lower bound from 12 to 13 again using a SAT-solver, demonstrating the versatility of this technology for our approach.
What problem does this paper attempt to address?