There is a newer version of the record available.

Published June 6, 2022 | Version 1.0
Conference paper Open

The Packing Chromatic Number of the Infinite Square Grid is At Least 14

Authors/Creators

  • 1. Carnegie Mellon University

Description

Code corresponding to the paper "The Packing Chromatic Number of the Infinite Square Grid is At Least 14", accepted at SAT'2022. A README file explains how to use it.

Files

code_submission.zip

Files (8.3 MB)

Name Size Download all
md5:5276961e4149c490f48ab64c4a39b6e2
8.3 MB Preview Download