A Computer-Assisted Proof Solves the ‘Packing… Heule, however, found the discovery of past results invigorating. It demonstrated that other researchers found the…
