6 citations · 16 across the 6 of their papers we have counts for
1 paper · 1 filter
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…