Optimal Pebbling Number of the Hypercube #
Source: url:https://github.com/pachterlab/P_2026_2
Authors: Lior Pachter
Status: verified
Main declarations: PebblingLean.Hypercube.Paper.optimalPebblingNumber_theta
Tags: combinatorics, pebbling, hypercube
MSC: 05C57