A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problem
Heule, however, found the discovery of past results invigorating. It demonstrated that other researchers found the problem important enough to work on, and confirmed for him that the only…