Published June 6, 2022 | Version 1.1
Conference paper Open

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

  • 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

72-15.png

Files (606.2 kB)

Name Size Download all
md5:c9f0dbb72b4dcf7124fb1a3dd38a1a92
565.1 kB Preview Download
md5:caa2f43d440037b523ba1ecbe97b0490
6.3 kB Download
md5:0c94d31d9a738aee0d786e598b7134c8
5.7 kB Download
md5:56aba11fc7a72c452b819771fcb89932
3.2 kB Download
md5:1e39ed8ef468a3e1806d27a690254eb1
3.6 kB Download
md5:8ced074a00b116e153e77ad74d5cde63
1.9 kB Preview Download
md5:dcf3be8c143abaf7c76ae9ed21bf0467
6.2 kB Download
md5:ba64bba7550cc684c45ef780d19ad0c0
6.7 kB Download
md5:4bac26d33513c83f2520bb027c9fc3f8
618 Bytes Download
md5:7c4a2785987b2f616b042302d88eb180
2.4 kB Download
md5:2e089542442d1db78fd2e80e3db785b2
2.4 kB Download
md5:8965c07ac439e554116a4cfa8286aceb
2.0 kB Download
md5:3052b2585966d3499434e80b978e8b1c
342 Bytes Download