scientific article; zbMATH DE number 3409355

zbMath0259.05005MaRDI QIDQ5675725

Donald E. Knuth, Robert W. Floyd

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15)

Related Items (9)

Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof ⋮ Optimal-depth sorting networks ⋮ Finding the \(\alpha n\)-th largest element ⋮ A computer-assisted optimal depth lower bound for nine-input sorting networks ⋮ Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker ⋮ Formally proving size optimality of sorting networks ⋮ Sorting nine inputs requires twenty-five comparisons ⋮ Sorting in one round ⋮ Single-exception sorting networks and the computational complexity of optimal sorting network verification

This page was built for publication: