The resolution of Keller's conjecture (Q5918545): Difference between revisions

@@ Property / cites work @@
+A combinatorial approach for Keller's conjecture
@@ Property / cites work: A combinatorial approach for Keller's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient certified RAT verification
@@ Property / cites work: Efficient certified RAT verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365030
@@ Property / cites work: Q5365030 / rank @@
+Normal rank
@@ Property / cites work @@
+Über einfache und mehrfache Bedeckung des \(n\)-dimensionalen Raumes mit einem Würfelgitter
+Normal rank
@@ Property / cites work @@
+Q5798059
@@ Property / cites work: Q5798059 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing Symmetry Breaking in DRAT Proofs
@@ Property / cites work: Expressing Symmetry Breaking in DRAT Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Short proofs without new variables
@@ Property / cites work: Short proofs without new variables / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Rigid polyboxes and Keller's conjecture
@@ Property / cites work: Rigid polyboxes and Keller's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Towards resolving Keller's cube tiling conjecture in dimension seven
+Normal rank
@@ Property / cites work @@
+On Keller's conjecture in dimension seven
@@ Property / cites work: On Keller's conjecture in dimension seven / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-aided proof of Erdős discrepancy properties
+Normal rank
@@ Property / cites work @@
+On a generalization of extended resolution
@@ Property / cites work: On a generalization of extended resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Keller’s cube-tiling conjecture is false in high dimensions
+Normal rank
@@ Property / cites work @@
+Efficient verified (UN)SAT certificate checking
@@ Property / cites work: Efficient verified (UN)SAT certificate checking / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Keller graph and its properties
@@ Property / cites work: Extended Keller graph and its properties / rank @@
+Normal rank
@@ Property / cites work @@
+A cube tiling of dimension eight with no facesharing
+Normal rank
@@ Property / cites work @@
+Über lückenlose Ausfüllung des \(n\)-dimensionalen Raumes durch kongruente Würfel
+Normal rank
@@ Property / cites work @@
+Über lückenlose Ausfüllung des \(n\)-dimensionalen Raumes durch kongruente Würfel. II
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+A reduction of Keller's conjecture
@@ Property / cites work: A reduction of Keller's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Cube tilings as contributions of algebra to geometry
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+What is known about unit cubes
@@ Property / cites work: What is known about unit cubes / rank @@
+Normal rank