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
Read moreHeule, however, found the discovery of past results invigorating. It demonstrated that other researchers found the problem important enough to
Read moreIn the fall of 2017, Mehtaab Sawhney, then an undergraduate at the Massachusetts Institute of Technology, joined a graduate reading
Read moreLet’s Make a Deal—With Python!
Read moreThen last fall, Milman came up for sabbatical and decided to visit Neeman so the pair could make a concentrated
Read moreIn their paper, posted online in late November 2022, a key part of the proof involves showing that, for the
Read more