Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The packing chromatic number of the infinite square grid is at least 14 - MaRDI portal

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

From MaRDI portal

Publication:6572035

Jump to:navigation, search

DOI10.4230/lipics.sat.2022.21MaRDI QIDQ6572035

Marijn J. H. Heule, Bernardo Subercaseaux

Publication date: 12 July 2024

zbMATH Keywords

encodings SAT solvers packing coloring

Mathematics Subject Classification ID

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

Related Items (2)

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6572035&oldid=40107480"