The Resolution of Keller’s Conjecture
Joshua Brakensiek, Marijn J. H. Heule, John Mackey, David E. Narváez
Topics & Concepts
ConjectureCombinatoricsUnit cubeCliqueDimension (graph theory)Propositional formulaResolution (logic)SatisfiabilityMathematicsCube (algebra)Symmetry (geometry)Discrete mathematicsComputer scienceTheoretical computer sciencePropositional variableArtificial intelligenceGeometryIntermediate logicDescription logicgraph theory and CDMA systemsCoding theory and cryptographyFinite Group Theory Research