The Resolution of Keller’s Conjecture
Joshua Brakensiek, Marijn J. H. Heule, John Mackey, David E. Narváez
Topics & Concepts
ConjectureCombinatoricsMathematicsUnit cubeDimension (graph theory)Propositional formulaCliqueResolution (logic)SatisfiabilityCube (algebra)Discrete mathematicsSymmetry (geometry)Computer sciencePropositional variableTheoretical computer scienceIntermediate logicGeometryDescription logicArtificial intelligencegraph theory and CDMA systemsCoding theory and cryptographyFinite Group Theory Research