Felsner–Reuter conjecture for the linear extension diameter of Boolean lattices
Felsner–Reuter conjecture.
MathDB