The packing chromatic number of the infinite square grid is at least 14

DOI10.4230/LIPICS.SAT.2022.21MaRDI QIDQ6572035zbMATH OpenFDO

Authors Bernardo Subercaseaux, Marijn J. H. Heule

Publication date 12 July 2024

zbMATH Keywords

SAT solverspacking coloringencodings

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)

Cited in

(2)

• Partial packing coloring and quasi-packing coloring of the triangular grid
• The packing chromatic number of the infinite square grid is 15

This page was built for publication: The packing chromatic number of the infinite square grid is at least 14

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572035)